Algebras, Diagrams and Decisions in Language, Logic and Computation (Lecture Notes)

Algebras, Diagrams and Decisions in Language, Logic and Computation (Lecture Notes)

By: Ann Copestake (editor), Kees Vermeulen (editor)Hardback

1 - 2 weeks availability

Description

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.

Create a review

About Author

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.

Product Details

  • publication date: 01/10/2002
  • ISBN13: 9781575863719
  • Format: Hardback
  • Number Of Pages: 184
  • ID: 9781575863719
  • weight: 660
  • ISBN10: 1575863715

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly

Close