| |
Author(s) |
Title |
Publisher |
Year |
| |
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott (auth.) |
Lecture Notes in Computer Science 4350 |
Springer-Verlag Berlin Heidelberg |
2007 |
| |
|
All About Maude - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic [1 ed.] |
| |
|
3540719407, 9783540719403 |
|
|
| |
Gèrard Huet, Gordon Plotkin |
Logical frameworks |
Cambridge University Press |
1991 |
| |
|
0521413001, 9780521413008 |
|
|
| |
Gerard Huet, G. Plotkin (editors) |
Logical Frameworks |
CUP |
1991 |
| |
|
0521413001, 9780521413008 |
|
|
| |
Andrea Cantini |
Studies in Logic and the Foundations of Mathematics 135 |
Elsevier |
1996 |
| |
|
Logical Frameworks for Truth and Abstraction: An Axiomatic Study |
|
| |
|
0444823069, 9780444823069, 9780080535586 |
|
|
Loading knowledgebase suggestions...