This book gives a broad overview of core topics of finite model theory: expressive power, descrip...

From Tableaux to Automata for Description Logics.- Disproving False Conjectures.- A Formal Proof ...

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distrib...

This volume presents the proceedings of the 1995 International Conference on Database Theory, ICD...

This book consitutes the refereed proceedings of the 10th International Conference on Computer Ai...

This book gives a broad overview of core topics of finite model theory: expressive power, descrip...