International Federation for Information Processing The IFIP series publishes state-of-the-art re...

Invited Lectures.- XML Navigation and Tarski's Relation Algebras.- Verification in Predicate Logi...

This Festschrift volume, published in honor of Samson Abramsky, contains contributions written by...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...

FoSSaCS 2010 Invited Talk.- to Decidability of Higher-Order Matching.- Semantics of Programming L...

Veri¿cation and validation.- Software engineering.- Formal speci¿cation and modeling.- Software s...