Celebrate Hispanic Heritage Month

Cambridge Tracts in Theoretical Computer Science Series

40 primary works • 40 total works
This series offers books on theoretical computer science, that part of computer science concerned with fundamental mathematical questions about computers, programs, algorithms, data, and information processing systems in general. Computers and programs are inherently mathematical objects, and an understanding of their mathematical basis is essentia…
Logic and Computation: Interactive Proof with Cambridge LCF
by
4.20 · 5 Ratings · published 1987 · 8 editions
Logic and Computation is concerned with techniques…

Shelve Logic and Computation: Interactive Proof with Cambridge LCF

    • Rate it:
    Algorithmic Information Theory
    by
    3.65     · 26 Ratings · 3 Reviews · published 1987 · 11 editions
    Chaitin, the inventor of algorithmic information t…

    Shelve Algorithmic Information Theory

    • Rate it:
    Formal Semantics and Pragmatics for Natural Language Querying
    by
    3.50     · 4 Ratings · published 1990 · 6 editions
    This book discusses the connection between two are…

    Shelve Formal Semantics and Pragmatics for Natural Language Querying

    • Rate it:
    Applications of Process Algebra
    by
    4.00     · 2 Ratings · published 1990 · 3 editions
    This book gives applications of the theory of proc…

    Shelve Applications of Process Algebra

    • Rate it:
    Process Algebra
    by
    3.50     · 2 Ratings · 1 Reviews · published 1990 · 3 editions
    Process algebra, also known as the Algebra of Comm…

    Shelve Process Algebra

    • Rate it:
    Updating Logical Databases
    by
    3.50     · 2 Ratings · published 1990 · 4 editions
    This book tackles the problems of update algorithm…

    Shelve Updating Logical Databases

    • Rate it:
    Theoretical Foundations of VLSI Design
    by
    4.00     · 1 Ratings · published 1990 · 5 editions
    This book discusses recent research in the theoret…

    Shelve Theoretical Foundations of VLSI Design

    • Rate it:
    A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory
    by
    3.75     · 4 Ratings · published 1991 · 3 editions
    Structured methodologies are a popular and powerfu…

    Shelve A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory

    • Rate it:
    Design Theory and Computer Science
    by
    3.67     · 3 Ratings · published 1991 · 7 editions
    The author examines logic and methodology of desig…

    Shelve Design Theory and Computer Science

    • Rate it:
    Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
    by
    3.67     · 3 Ratings · published 1991 · 6 editions
    The author presents a theory whereby nets, terms a…

    Shelve Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship

    • Rate it:
    Belief Revision
    by
    3.50     · 4 Ratings · published 1992 · 5 editions
    Belief revision is a topic of much interest in the…

    Shelve Belief Revision

    • Rate it:
    Programs, Recursion and Unbounded Choice
    by
    4.00     · 1 Ratings · published 1992 · 4 editions
    Predicate transformation semantics is the best spe…

    Shelve Programs, Recursion and Unbounded Choice

    • Rate it:
    The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
    by
    4.00     · 3 Ratings · published 1992 · 4 editions
    This book develops the theory of typed feature str…

    Shelve The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

    • Rate it:
    Two-Level Functional Languages
    by
    4.00     · 1 Ratings · published 1992 · 6 editions
    The authors describe here a framework in which the…

    Shelve Two-Level Functional Languages

    • Rate it:
    Predicate Transformer Semantics
    by
    3.50     · 2 Ratings · 1 Reviews · published 1992 · 4 editions
    A central problem in the design of programming sys…

    Shelve Predicate Transformer Semantics

    • Rate it:
    Action Semantics
    by
    4.00     · 2 Ratings · published 1992 · 5 editions
    Action Semantics is a novel approach to the formal…

    Shelve Action Semantics

    • Rate it:
    Formal Specification and Design
    by
    4.00     · 3 Ratings · published 1992 · 4 editions
    Formal specification is a method for precisely mod…

    Shelve Formal Specification and Design

    • Rate it:
    Deductive and Declarative Programming
    by
    4.00     · 1 Ratings · published 1992 · 3 editions
    In this book, the author develops deduction-orient…

    Shelve Deductive and Declarative Programming

    • Rate it:
    The Clausal Theory of Types
    by
    4.00     · 2 Ratings · published 1993 · 4 editions
    This book presents the theoretical foundation of a…

    Shelve The Clausal Theory of Types

    • Rate it:
    Algebraic Specification of Communication Protocols
    by
    3.00     · 1 Ratings · published 1993 · 4 editions
    Modern computer networks now circle the world, but…

    Shelve Algebraic Specification of Communication Protocols

    • Rate it:
    Higher Order Logic and Hardware Verification
    by
    4.50     · 2 Ratings · 1 Reviews · published 1993 · 4 editions
    Dr. Melham shows here how formal logic can be used…

    Shelve Higher Order Logic and Hardware Verification

    • Rate it:
    Metamathematics, Machines and Gödel's Proof
    by
    4.00     · 4 Ratings · published 1994 · 5 editions
    The automatic verification of large parts of mathe…

    Shelve Metamathematics, Machines and Gödel's Proof

    • Rate it:
    Mathematical Theory of Domains
    by
    3.50     · 2 Ratings · published 1994 · 4 editions
    Domain theory is the mathematical framework that i…

    Shelve Mathematical Theory of Domains

    • Rate it:
    Free Choice Petri Nets
    by
    4.00     · 3 Ratings · published 1995 · 5 editions
    Petri nets are a popular and powerful formal model…

    Shelve Free Choice Petri Nets

    • Rate it:
    The Uncertain Reasoner's Companion: A Mathematical Perspective
    by
    3.00     · 1 Ratings · published 1994 · 3 editions
    Reasoning under uncertainty, that is, making judgm…

    Shelve The Uncertain Reasoner's Companion: A Mathematical Perspective

    • Rate it:
    Epistemic Logic for Artifcl Intell
    by
    4.20     · 5 Ratings · published 1995 · 4 editions
    Epistemic logic has grown from its philosophical b…

    Shelve Epistemic Logic for Artifcl Intell

    • Rate it:
    Information Flow: The Logic of Distributed Systems
    by
    3.83     · 6 Ratings · published 1997 · 6 editions
    Information is a central topic in computer science…

    Shelve Information Flow: The Logic of Distributed Systems

    • Rate it:
    Basic Simple Type Theory
    by
    4.00     · 13 Ratings · published 1997 · 5 editions
    Type theory is one of the most important tools in …

    Shelve Basic Simple Type Theory

    • Rate it:
    Domains and Lambda-Calculi
    by
    3.67     · 3 Ratings · published 1998 · 4 editions
    This book describes the mathematical aspects of th…

    Shelve Domains and Lambda-Calculi

    • Rate it:
    Data Refinement: Model-Oriented Proof Methods and their Comparison
    by
    3.75     · 4 Ratings · published 1998 · 4 editions
    The goal of this book is to provide a comprehensiv…

    Shelve Data Refinement: Model-Oriented Proof Methods and their Comparison

    • Rate it:
    Hybrid Graph Theory and Network Analysis
    by
    3.33     · 3 Ratings · published 1999 · 3 editions
    This book combines traditional graph theory with t…

    Shelve Hybrid Graph Theory and Network Analysis

    • Rate it:
    Basic Proof Theory
    by
    3.91     · 11 Ratings · published 1996 · 7 editions
    This introduction to the basic ideas of structural…

    Shelve Basic Proof Theory

    • Rate it:
    Modal Logic
    by
    4.23     · 35 Ratings · 3 Reviews · published 2001 · 8 editions
    This modern, advanced textbook reviews modal logic…

    Shelve Modal Logic

    • Rate it:
    Rippling: Meta-Level Guidance for Mathematical Reasoning
    by
    3.50     · 2 Ratings · published 2004 · 7 editions
    The automation of mathematical reasoning has been …

    Shelve Rippling: Meta-Level Guidance for Mathematical Reasoning

    • Rate it:
    Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50)
    by
    4.00     · 2 Ratings · 7 editions
    Process algebra is a widely accepted and much used…

    Shelve Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Vol. 50)

    • Rate it:
    Advanced Topics in Bisimulation and Coinduction
    by
    3.00     · 1 Ratings · published 2011 · 5 editions
    Coinduction is a method for specifying and reasoni…

    Shelve Advanced Topics in Bisimulation and Coinduction

    • Rate it:
    Nominal Sets: Names and Symmetry in Computer Science
    by
    4.00     · 3 Ratings · published 2013 · 7 editions
    Nominal sets provide a promising new mathematical …

    Shelve Nominal Sets: Names and Symmetry in Computer Science

    • Rate it:
    Temporal Logics in Computer Science: Finite-State Systems
    by
    4.00     · 1 Ratings · 3 editions
    This comprehensive text provides a modern and tech…

    Shelve Temporal Logics in Computer Science: Finite-State Systems

    • Rate it:
    Introduction to Coalgebra: Towards Mathematics of States and Observation
    by
    3.00     · 1 Ratings · 4 editions
    The area of coalgebra has emerged within theoretic…

    Shelve Introduction to Coalgebra: Towards Mathematics of States and Observation

    • Rate it:
    Finite-State Techniques: Automata, Transducers and Bimachines
    by
    4.50     · 2 Ratings · 4 editions
    Finite-state methods are the most efficient mechan…

    Shelve Finite-State Techniques: Automata, Transducers and Bimachines

    • Rate it: