Algebras, Diagrams and Decisions in Language, Logic and Computation

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

ISBN 10: 1575863723 / ISBN 13: 9781575863726

Edité par CSLI Publications, Stanford, CA, U.S.A., 2001

A propos de cet article

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

N° de réf. du vendeur 203274

Détails bibliographiques

• Titre: Algebras, Diagrams and Decisions in Language, Logic and Computation
• Éditeur: CSLI Publications, Stanford, CA, U.S.A.
• Date de parution: 2001
• Langue: anglais
• ISBN à 10 chiffres: 1575863723
• ISBN à 13 chiffres: 9781575863726
• Reliure: paperback
• Édition: First Edition.
• État de l'article: Very Good
• Type de livre: Used

A propos de ce titre

Synopsis

This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: each of six papers very accessibly presents an exciting contribution to the study and uses of algebra, diagrams, and decisions, ranging from indipensable overview papers about shared formal members to inspiring applications of formal tools to specific problems.

À propos de l?auteur

Kees Vermeulen is a researcher at the National Research Center for Mathematics and Computer Science in Amsterdam. Ann Copestake is a lecturer in the University of Cambridge Computer Laboratory.