![Theoretical computer science / Mathematics / Logic / Mathematical logic / Formal languages / Logic in computer science / Automated theorem proving / Logic programming / Rewriting / Confluence / Rewrite order / Substitution Theoretical computer science / Mathematics / Logic / Mathematical logic / Formal languages / Logic in computer science / Automated theorem proving / Logic programming / Rewriting / Confluence / Rewrite order / Substitution](https://www.pdfsearch.io/img/43f8d7d4b5d5ac4e6944a817a9310512.jpg) Date: 2010-01-06 11:26:31Theoretical 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 2009Add to Reading ListSource URL: www.cs.ru.nlDownload Document from Source Website File Size: 405,73 KBShare Document on Facebook
|