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