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...

All traditional implementation techniques for functional languages (mostly based on supercombinat...

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...

Now in paperback, Topology via Logic 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...

We are happy to present the first volumes of the 'Handbook of Logic in Computer Science.' Logic i...

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

Logic is now widely recognized as one of the foundational disciplines of computing, and its appli...

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...