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

This textbook offers a unified and self-contained introduction to the field of term rewriting. It...

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

This textbook offers a unified and self-contained introduction to the field of term rewriting. It...

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

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...

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

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

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