Search results

Term Rewriting and All That. Cambridge University Press. p. 34. ISBN 978-0-521-77920-3. de Moura, Leonardo; Bjørner, Nikolaj (2009). Formal methods : foundations...

(1998). Term Rewriting and All That. Cambridge University Press. ISBN 978-0-521-77920-3. Bläsius, K. H.; Bürckert, H.-J., eds. (1992). Deduktionssysteme....

Rewriting and All That. Cambridge University Press. pp. 18–19. ISBN 978-0-521-77920-3. Calude, Cristian (1994). Information and randomness. An algorithmic...

and All That. Cambridge University Press. pp. 1–2 and 34–35. ISBN 978-0-521-77920-3. C.C. Chang; H. Jerome Keisler (1977). Model Theory. Studies in Logic...

(1998). Term Rewriting and All That. Cambridge University Press. ISBN 9780521779203. Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press...

(1999). Term rewriting and all that. Cambridge University Press. ISBN 978-0-521-77920-3. 316 pages. Marc Bezem, Jan Willem Klop, Roel de Vrijer ("Terese")...

Rewriting and All That. Cambridge University Press. pp. 59–60. ISBN 978-0-521-77920-3. Matiyasevich, Yu. V. (1967). "Простые примеры неразрешимых ассоциативных...

Rewriting and All That. Cambridge University Press. pp. 18–19. ISBN 978-0-521-77920-3. Chauvin, Yvonne. Pratique du classement alphabétique. 4th ed. Paris:...

(1998). Term Rewriting and All That. Cambridge University Press. ISBN 9780521779203. Ohlebusch, Enno (1998). "Church-Rosser theorems for abstract reduction...

(1998). Term Rewriting and All That. Cambridge University Press. ISBN 9780521779203. A textbook suitable for undergraduates. Nachum Dershowitz and Jean-Pierre...