Algebras, Diagrams and Decisions in Language, Logic and Computation (Paperback)

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.

General

Imprint:	Centre for the Study of Language & Information
Country of origin:	United States
Series:	Lecture Notes
Release date:	August 2002
First published:	August 2002
Editors:	Kees Vermeulen • Ann Copestake
Dimensions:	229 x 152 x 1mm (L x W x T)
Format:	Paperback
Pages:	183
ISBN-13:	978-1-57586-372-6
Categories:	Books > Science & Mathematics > Mathematics > General Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN:	1-57586-372-3
Barcode:	9781575863726

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!