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