samson abramsky

Dependence Logic

In this volume, different aspects of logics for dependence and independence are discussed, includ...

Automata, Languages and Programming

Automata, Languages and Programming

Typed Lambda Calculi and Applications

This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambd...

Extensions of First-Order Logic

Classical logic has proved inadequate in various areas of computer science, artificial intelligen...

The Logic of Typed Feature Structures

This book develops the theory of typed feature structures, a data structure that generalizes both...

Belief Revision

Belief revision is a topic of much interest in theoretical computer science and logic, and it for...

Logic and Computation

Logic and Computation is concerned with techniques for formal theorem-proving, with particular re...

Topology Via Logic

This is an advanced textbook on topology for computer scientists.

The Uncertain Reasoner’s Companion

Reasoning under uncertainty, that is, making judgments with only partial knowledge, is a major th...

The Optimal Implementation of Functional Programming Languages

First account of the subject by two of its leading exponents. Essentially self-contained.

Algorithmic Information Theory

Expounds G del's incompleteness theorey using an information theoretic approach based on the size...