Overview

The interplay between mathematical logic and the theory of programming languages has aroused an increasing amount of interest during the last two 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 specialized 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 non-specialist are also included.

Full Product Details

Author:   Manfred Droste ,  Yuri Gurevich
Publisher:   Gordon & Breach Science Publishers SA
Imprint:   Gordon & Breach Science Publishers SA
Volume:   v. 5.
Weight:   0.811kg
ISBN:  

9782881249358

ISBN 10:   2881249353
Pages:   416
Publication Date:   10 September 1993
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Temporarily unavailable  
The supplier advises that this item is temporarily unavailable. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out to you.

Table of Contents

Preface, A formal specification of PARLOG, The meaning of specifications 11: Set-theoretic specification, Petri nets and automata with concurrency relations: An adjunction, Concurrent automata, prime event structures and universal domains, Synthesis of nondeterministic asynchronous automata, A cartesian closed category of parallel algorithms between Scott-domains, Observable modules and power domain constructions, The Smyth-completion of a quasi-uniform space, What is a state of a system? (An outline), Current trends in the semantics of data flow, Computing the canonical representation of a finite lattice, A theory of unary pairfunctions, A lattice interpretation of database dependencies, Semantics in an extended entity-relationship model, Index

Reviews

Author Information

Manfred Droste Universitiit Gesamthochschule, Essen Germany and Yuri Gurevich University of Michigan, Ann Arbor, USA.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions