Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It ...

This volume contains thoroughly refereed and revised full papers selected from the presentations ...

This volume contains the final revised versions of the best papers presented at the First Interna...

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), usi...

This book constitutes the refereed proceedings of the 9th International Conference on Rewriting T...

This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Pr...

Unified and self-contained introduction to term-rewriting; suited for students or professionals.

The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into va...

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods...