Algebras, Diagrams and Decisions in Language, Logic and Computation - Brossura

Center For The Study Of Language And Information (U. S.)

Brossura

ISBN 10: 1575863723 ISBN 13: 9781575863726

Casa editrice: Stanford Univ Center for the Study, 2002

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.

Su questo libro

Product Description

Unusual book

Dettagli dell?edizione

• Editore: Stanford Univ Center for the Study
• Data di pubblicazione: 2002
• ISBN 10: 1575863723
• ISBN 13: 9781575863726
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 180
• Redattore: Vermeulen Kees, Copestake Ann
• Contatto del produttore: non disponibile