RPTU University Library

Send mail to Author

Canonical Conditional Rewrite Systems Containing Extra Variables (Preprint)

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



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


Back to frontdoor view