The authors describe here a framework in which the type notation of functional languages is exten...

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

The automatic verification of large parts of mathematics has been an aim of many mathematicians f...

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

Information retrieval (IR) is becoming an increasingly important area as scientific, business and...

A complete account of the predicate transformation calculus semantics of sequential programs.

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

This an introduction to the theory of computational learning.

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

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

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

Type theory is one of the most important tools in the design of higher-level programming language...

Quantum Mechanics (QM) is emerging from physics into non-physics domains (domains traditionally f...

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists....

Presents a mathematically rigorous, philosophically sound foundation for a science of information.

Action Semantics is a novel approach to the formal description of programming languages. Its abst...

This book discusses the connection between two areas of semantics, namely the semantics of databa...

A central problem in the design of programming systems is to provide methods for verifying that c...

This book constitutes the refereed proceedings of the Third International Symposium on Quantum In...

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

In recent years, there have been several attempts to define alogic for information retrieval (IR)...

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

The book can be used for graduate courses or as a reference for researchers in formal methods, th...

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent s...

Information retrieval, IR, the science of extracting information from any potential source, can b...

The annual colloquium on information retrieval research provides an opportunity for both new and ...

In recent years, there have been several attempts to define alogic for information retrieval (IR)...

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

These proceedings contain the papers presented at ECIR 2010, the 32nd Eu- pean Conference on Info...

This book is an extended collection of revised contributions that were initially submitted to the...