Send mail to Author

Nominal unification with atom and context variables (Working Paper)

Please indicate your contact information and select, which author you want to contact.



 
  ____      _____     _____     ______   ______      ___    
 |  _ \\   |  ___||  |__  //   /_   _// |      \\   / _ \\  
 | |_| ||  | ||__      / //     -| ||-  |  --  //  | / \ || 
 | .  //   | ||__     / //__    _| ||_  |  --  \\  | \_/ || 
 |_|\_\\   |_____||  /_____||  /_____// |______//   \___//  
 `-` --`   `-----`   `-----`   `-----`  `------`    `---`
 


Back to frontdoor view

OPUS4 Logo