Algebras, Diagrams and Decisions in Language, Logic and Computation

Vermeulen, Kees (ed.); Copestake, Ann (Ed.)

ISBN 10: 1575863723 / ISBN 13: 9781575863726

Editore: CSLI Publications, Stanford, CA, U.S.A., 2001

Riguardo questo articolo

CSLI Lecture Notes, No. 144. Very good condition, almost as-new; minor shelf wear only; contents clean, sond, bright.

Codice articolo 203274

Dati bibliografici

• Titolo: Algebras, Diagrams and Decisions in Language, Logic and Computation
• Editore: CSLI Publications, Stanford, CA, U.S.A.
• Data di pubblicazione: 2001
• Lingua: Inglese
• ISBN 10: 1575863723
• ISBN 13: 9781575863726
• Rilegatura: paperback
• Edizione: First Edition.
• Condizione: Very Good
• Tipo di libro: Used

Descrizione articolo

Riassunto

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.

Product Description

Unusual book