Algebras, Diagrams and Decisions in Language, Logic and Computation

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

ISBN 10: 1575863723 / ISBN 13: 9781575863726

Published by CSLI Publications, Stanford, CA, U.S.A., 2001

About this Item

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

Bibliographic Details

Title: Algebras, Diagrams and Decisions in Language...

Publisher: CSLI Publications, Stanford, CA, U.S.A.

Publication Date: 2001

Binding: paperback

Condition: Very Good

Edition: First Edition.

Book Type: Used

About this title

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.

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.