The Clausal Theory of Types

D A Wolfram

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 21
• This book presents the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. A long... Lees meer

Applications of Process Algebra

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 17
• This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communi... Lees meer

Concurrency Verification

de Roever Willem-Paul, de Boer Frank, Hanneman Ulrich

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 54
• This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such ... Lees meer

Term Rewriting Systems

Jan Willem Klop, Roel de Vrijer, Terese

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 55
• Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. The... Lees meer

Metamathematics, Machines and Godel's Proof

Natarajan Shankar, N Shankar

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 38
• The automatic verification of large parts of mathematics has been an aim of many mathematicians from Leibniz to Hilbert. While Gödel's first incomplet... Lees meer

Algorithmic Information Theory

Gregory. J. Chaitin

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science
• Expounds Godel's incompleteness theorey using an information theoretic approach based on the size of computer programs. Lees meer

Action Semantics

Peter D Mosses

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 26
• Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of... Lees meer

Basic Simple Type Theory

J Roger Hindley

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 42
• Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its t... Lees meer

Deductive and Declarative Programming

P Padawitz, Peter Padawitz

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 28
• In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive... Lees meer

Belief Revision

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 29
• Belief revision is a topic of much interest in theoretical computer science and logic, and it forms a central problem in research into artificial inte... Lees meer

Basic Proof Theory

Anne S Troelstra, A S Troelstra, H Schwichtenberg

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 43
• This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic fo... Lees meer

The Optimal Implementation of Functional Programming Languages

Andrea Asperti

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 45
• All traditional implementation techniques for functional languages fail to avoid useless repetition of work. They are not "optimal" in their implement... Lees meer

Formal Specification and Design

L M G Feijs, H B M Jonkers, Feijs L M G

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 35
• Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logi... Lees meer

Design Theory and Computer Science

Subrata Dasgupta

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 15
• The author examines logic and methodology of design from the perspective of computer science. Computers provide the context for this examination both ... Lees meer

Programs, Recursion and Unbounded Choice

Wim H Hesselink, Hesselink Wim H

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 27
• Predicate transformation semantics is the best specification method for the development of correct and well-structured computer programs. This book is... Lees meer

Understanding Z

J M Spivey, Spivey J M

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 3
• By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for... Lees meer

Formal Specification and Design

Feijs L. M. G. Feijs, Jonkers H. B. M. Jonkers

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science
• The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design. Lees meer

Updating Logical Databases

Marianne Winslett

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 9
• This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating ne... Lees meer

Formal Semantics and Pragmatics for Natural Language Querying

James Clifford, Clifford James

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 8
• This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links ... Lees meer

Data Refinement

Willem-Paul de Roever, Kai Engelhardt

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 47
• The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and t... Lees meer

Introduction to Coalgebra

Bart Jacobs

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 59
• The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combi... Lees meer

Higher Order Logic and Hardware Verification

T F Melham

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 31
• Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of ... Lees meer

Mathematical Theory of Domains

Viggo Stoltenberg-Hansen, Ingrid Lindstrom, Edward R Griffor

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 22
• Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first ... Lees meer

Algebraic Specification of Communication Protocols

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 36
• Modern computer networks now circle the world, but the transmission of information among them depends on the many different protocols that define the ... Lees meer