Higher Order Logic and Hardware Verification

T F Melham, Thomas F Melham

• Hardcover | 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

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

Higher Order Logic and Hardware Verification

T 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

Two-Level Functional Languages

Flemming Nielson, Hanne Riis Nielson

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 34
• The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ... Lees meer

Extensions of First-Order Logic

Maria Manzano

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 19
• Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a... Lees meer

A Unifying Framework for Structured Analysis and Design Models

T H Tse, Tse T H

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 11
• Structured methodologies are a popular and powerful tool in information systems development. Many different ones exist, each employing a number of mod... Lees meer

Lambda-Calculus, Combinators and Functional Programming

G E Revesz

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 4
• Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematica... Lees meer

Domains and Lambda-Calculi

Roberto M Amadio, Pierre-Louis Curien, Amadio Roberto M

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 46
• This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani... Lees meer

Nominal Sets

Andrew M Pitts

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 57
• Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and ... Lees meer

Design Theory and Computer Science

Subrata Dasgupta

• Hardcover | 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

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

Topology Via Logic

Steven Vickers

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 5
• This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite ... 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

Information Flow

Jon Barwise, Whatley

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 44
• Information is a central topic in computer science, cognitive science, and philosophy. In spite of its importance in the "information age," there is n... Lees meer

The Logic of Typed Feature Structures

Bob Carpenter

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 32
• This book develops the theory of typed feature structures, a new form of data structure that generalizes both the first-order terms of logic programs ... 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

Nets, Terms and Formulas

E R Olderog

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 23
• The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des... Lees meer

Algorithmic Information Theory

Gregory J Chaitin

• Paperback | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 1
• Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using... Lees meer

Basic Simple Type Theory

J Roger Hindley, Roger J Hindley

• Hardcover | 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

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

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

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

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

Hybrid Graph Theory and Network Analysis

Ladislav Novak, L Novak, Alan Gibbons

• Hardcover | Engels | Cambridge Tracts in Theoretical Computer Science | nr. 49
• This book combines traditional graph theory with the matroid view of graphs in order to throw light on the mathematical approach to network analysis. ... Lees meer