Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Logic / Mathematical logic / Formal languages / Logic in computer science / Automated theorem proving / Logic programming / Rewriting / Confluence / Rewrite order / Substitution


Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009
Add to Reading List

Document Date: 2010-01-06 11:26:31


Open Document

File Size: 405,73 KB

Share Result on Facebook