Items related to Algebras, Diagrams and Decisions in Language, Logic...
Algebras, Diagrams and Decisions in Language, Logic and Computation (Volume 144) (Lecture Notes) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
Ann Copestake is university lecturer and reader at University of Cambridge and senior researcher at the Center for the Study of Language and Information, Stanford University.
Stephen Robertson runs the Information Retrieval and Analysis group at Microsoft Research and is professor in the Department of Information Science at the City University of London.
"About this title" may belong to another edition of this title.
Search results for Algebras, Diagrams and Decisions in Language, Logic...
Stock Image
Algebras, Diagrams and Decisions in Language, Logic and Computation (Lecture Notes)
Published by
Center for the Study of Language, 2002
ISBN 10: 1575863715
ISBN 13: 9781575863719
Used
Hardcover
Seller: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: Very Good. First Edition. A few library markings, no library wear. No DJ. Binding is tight, text clean. This volume shows how the shared interests of three different research areas can lead to significant exchanges: six papers 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. Seller Inventory # 3000110
Quantity: 1 available