LINGUIST List 14.556

Tue Feb 25 2003

Books: Computational Ling: Vermeulen, Copestake (eds.)

Editor for this issue: Marisa Ferrara <marisalinguistlist.org>

Directory

1. sosa, Algebras, Diagrams and Decisions in Language, Logic and Computation

			
Title: Algebras, Diagrams and Decisions in Language, Logic and
 Computation
Series Title: CSLI Lecture Notes Series, No. 144
			
Publication Year: 2002
Publisher: CSLI Publications
 http://csli-publications.stanford.edu/
			
Book URL: http://cslipublications.stanford.edu/site/1575863723.html

Availability: Available
 
Editor: Kees Vermeulen, CWI, the National Research Center for
	Mathematics and Computer Science
Editor: Ann Copestake, University of Cambridge Computer Laboratory 
				
Hardback: ISBN: 1575863715, Pages: 183, Price: $65.00
Paperback: ISBN: 1575863723, Pages: 183, Price: $25.00
			
Abstract:
			
This volume is exemplary in showing how the shared interests of three
different areas of research can lead to significant cooperation and
fruitful exchanges of techniques. Six papers each present in an
accessible way an exciting contribution to the study and use of
algebras, diagrams and decisions. These themes are of interest to
researchers in the areas of language, logic and computation.

The types of contributions range from indispensable overview papers
about shared formal methods to inspirational applications of formal
tools to specific problems.

Contributors to this volume are Pieter Adriaans, Sergei Artemov,
Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di
Luzio, and Edward Stabler.
			
Lingfield(s): Computational Linguistics

Written In: English (Language Code: English)