First Page | Document Content | |
---|---|---|
![]() Date: 2002-12-11 10:42:01Mathematical logic Logic in computer science Applied mathematics Rewriting Unification Semi-Thue system Theoretical computer science Mathematics Formal languages | Add to Reading List |
![]() | Chapter 1 Rewriting Nachum Dershowitz David A. PlaistedDocID: 18yd1 - View Document |
![]() | Synthesizing Matrix Interpretations via Backward Completion∗ Dieter Hofbauer ASW – Berufsakademie Saarland, GermanyDocID: 11wzG - View Document |
![]() | Chapter 9 Rewriting Nachum Dershowitz David A. PlaistedDocID: 9aja - View Document |
![]() | An Algorithm Rules JEAN in PolynomialDocID: 99Hy - View Document |
![]() | On Oleshchuk’s Public Key Cryptosystem Heiko Stamer Friedrich OttoDocID: 43G7 - View Document |