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

This volume is based on the 2008 Clifford Lectures on Information Flow in Physics, Geometry and L...

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

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

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

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

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

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

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

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