Phd thesis series

Adventures in propositional interval temporal logic. Vol. 3: emporal logics

Intersection types and lambda models. Vol. 2

Investigations in the categorical foundations and applications of coalgebras and hypersets. Vol. 1

Certified reasoning on real numbers and objects in co-inductive type theory. Vol. 1

Local search techniques for scheduling problems: algorithms and software tools

Model checking for the concurrent constraint paradigm

Retrieving visual concepts in image databases

Computing in non standard set theories. Vol. 3

Dividing and conquering the layered land. Vol. 2

On the complexity of optimal reduction of functional programming language. Vol. 1

Reasoning about names in higher-order abstract syntax. Vol. 4

Some intensional models of lambda calculus

Theories and techniques of structural abstraction for hierarchical model-based diagnosis