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