Algebras, Diagrams and Decisions in Language, Logic and Computation |
|
| Editor:
| Vermeulen, Kees
Copestake, Ann |
| Series title: | Lecture Notes Ser. |
| ISBN: | 978-1-57586-372-6 |
| Publication Date: | Aug 2002 |
| Publisher: | CSLI Publications/Center for the Study of Language & Information
|
| Book Format: | Paperback |
| List Price: | USD $28.50 |
Book Description:
|
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,...
More DescriptionThis 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.