Features
- Cover Type: Hard Cover with 416 pages
- Published by: CRC September 10, 1993
- Written in: English
- ISBN 10 Number: 2881249353
- ISBN 13 Number: 978-2881249358
-
Book Dimensions:
9.1 x 6.2 x 1.2 inches
- Weighs: 1.7 pounds
Book Description
The interplay between mathematical logic and the theory of
programming languages has aroused an increasing amount of interest during the last decades. In this research area, the mathematical fields of model theory, logic and ordered structures have received new stimuli from computer science. Simultaneously, complex mathematical methods have defined new applications in the entire area of semantics of
programming languages. Many of the more difficult problems in the theory of computation require a combination of methods from model theory, logic and ordered structures as well as from semantics. The articles in this book deal with both the specialised aspects of the relationship and with pure methods in each of the fields of model theory, ordered structures and semantics. Whereas some chapters are concerned with original research in this area, review articles for the nonspecialist are also included.
M. Droste is at the University GHS Essen, Germany and Y. Gurevich is at the
University of Michigan, US
Search for books at
