Sciweavers

Share
51 search results - page 1 / 11
» cade 2008
Sort
View
CADE
2008
Springer
8 years 5 months ago
Canonicity!
Nachum Dershowitz
CADE
2008
Springer
9 years 3 months ago
Certificate Translation
Gilles Barthe
CADE
2008
Springer
8 years 5 months ago
Title, Preface, Table of Contents
Bernhard Beckert, Gerwin Klein
CADE
2008
Springer
9 years 3 months ago
Evaluation of Systems for Higher-order Logic (ESHOL)
Christoph Benzmüller, Florian Rabe, Carsten S...
CADE
2008
Springer
9 years 3 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...
books