An Algorithm Rules JEAN in Polynomial

First Page		Document Content
Date: 2002-12-11 10:42:01 Mathematical logic Logic in computer science Applied mathematics Rewriting Unification Semi-Thue system Theoretical computer science Mathematics Formal languages		An Algorithm Rules JEAN in Polynomial Add to Reading List Source URL: cs-pub.bu.edu Download Document from Source Website File Size: 907,90 KB Share Document on Facebook

	Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted DocID: 18yd1 - View Document
	Synthesizing Matrix Interpretations via Backward Completion∗ Dieter Hofbauer ASW – Berufsakademie Saarland, Germany DocID: 11wzG - View Document
	Chapter 9 Rewriting Nachum Dershowitz David A. Plaisted DocID: 9aja - View Document
	An Algorithm Rules JEAN in Polynomial DocID: 99Hy - View Document
	On Oleshchuk’s Public Key Cryptosystem Heiko Stamer Friedrich Otto DocID: 43G7 - View Document