Rewriting, Computation and Proof
Publication year: 2007
ISBN: 978-3-540-73147-4
Internet Resource: Please Login to download book
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Cachan near Paris, France, on June 21-22, 2007. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.
Subject: Computer Science, Coq, Exception, Maude, algorithm, algorithms, computable functions, electronic money, equational theory, logic, modeling, programming logic, proof theory, recurs, semantics, verification
