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

This book discusses recent research in the theoretical foundations of several subjects of importa...

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

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

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

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

The papers in this volume were presented at the fourthbiennial SummerConference on Category Theor...

Categories.- Elements of categorical reasoning : Products and coproducts and some other (co-)limi...

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

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

The book will be of value to all involved in database research.

The author presents a theory whereby nets, terms and formulas represent concurrent processes at t...

This book gives applications of the theory of process algebra, or Algebra of Communicating Proces...

This is an advanced textbook on topology for computer scientists.

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

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

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

This book covers the background of classical logic, including the major meta-theorems, and the st...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...

The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of ...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programmi...