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

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

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

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

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

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

Invited Talks.- Program Termination Analysis by Size-Change Graphs (Abstract).- SET Cardholder Re...

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

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

This book is an introduction to data structures and algorithms for functional programming languag...