Produktnummer:
184d5f373d2e124b25924e085d2a278fc1
| Themengebiete: | Addition Graph Rrewriting Graphersetzung Higher-Order Algebra Higher-Order Logic Higher-Order Term Höherstufige Algebra Höherstufige Terme Rewriting Termersetzungssysteme |
|---|---|
| Veröffentlichungsdatum: | 08.05.1996 |
| EAN: | 9783540612544 |
| Sprache: | Englisch |
| Seitenzahl: | 296 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Dowek, Gilles Heering, Jan Meinke, Karl Möller, Bernhard |
| Verlag: | Springer Berlin |
| Untertitel: | Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers |
Produktinformationen "Higher-Order Algebra, Logic, and Term Rewriting"
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995.The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen