EBOOK

Algebras, Diagrams and Decisions in Language, Logic and Computation

Jetzt
€ 61,99
Bisher € 65,42
 
gebunden
Besorgung - Lieferbarkeit unbestimmt
August 2002

Beschreibung

Beschreibung

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.

Portrait

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.

EAN: 9781575863719
ISBN: 1575863715
Untertitel: New. Sprache: Englisch.
Verlag: CTR FOR STUDY OF LANG & INFO
Erscheinungsdatum: August 2002
Seitenanzahl: 183 Seiten
Format: gebunden
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben