Conditional Term Rewriting Systems

Stephane Kaplan, Jean-Pierre Jouannaud (Herausgeber)

Buch | Hardcover

278 Seiten

1988
Springer (Verlag)
978-0-387-19242-0 (ISBN)

Produkt-Details

• Erscheint lt. Verlag: 1.6.1988
• Reihe/Serie: Lecture Notes in Computer Science ; 308
• Zusatzinfo: illustrations
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-10: 0-387-19242-5 / 0387192425
• ISBN-13: 978-0-387-19242-0 / 9780387192420
• Zustand: Neuware