Algebras, Diagrams and Decisions in Language, Logic and Computation

Centre for the Study of Language & Information (Verlag)
  • erschienen am 8. Oktober 2002
  • Buch
  • |
  • Softcover
  • |
  • 183 Seiten
978-1-57586-372-6 (ISBN)
This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: six papers each very accessibly present an exciting contribution to the study and uses of algebras, diagrams, and decisions, ranging from indispensable overview papers about shared formal members to inspirational applications of formal tools to specific problems. Contributors include Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler.
  • Englisch
  • Stanford
  • |
  • USA
  • Für höhere Schule und Studium
  • |
  • Für Beruf und Forschung
  • Höhe: 228 mm
  • |
  • Breite: 154 mm
  • |
  • Dicke: 11 mm
  • 268 gr
978-1-57586-372-6 (9781575863726)
1575863723 (1575863723)
Kees Vermeulen is a researcher at the National Research Center for Mathematics and Computer Science in Amsterdam. Ann Copestake is a lecturer in the University of Cambridge Computer Laboratory.

Versand in 10-20 Tagen

25,78 €
inkl. 7% MwSt.
in den Warenkorb

Abholung vor Ort? Sehr gerne!
Unsere Web-Seiten verwenden Cookies. Mit der Nutzung dieser Web-Seiten erklären Sie sich damit einverstanden. Mehr Informationen finden Sie in unserem Datenschutzhinweis. Ok