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

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

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

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

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

This is an advanced textbook on topology for computer scientists.

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

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

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

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

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

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