Tobias Nipkow | Bookhype

Dec 15, 2014

Cover of Concrete Semantics

Concrete Semantics

Jan 15, 2014

Cover of Rewriting Techniques and Applications

Rewriting Techniques and Applications

Apr 3, 2002

Cover of Isabelle/Hol

Isabelle/Hol (Lecture Notes in Computer Science, #2283)

Mar 5, 1998

Cover of Term Rewriting and All That

Term Rewriting and All That

Jul 28, 1994

Cover of Isabelle

Isabelle (Lecture Notes in Chemistry, #828) (Lecture Notes in Computer Science, #828)