Data Buku Logical Framework Books
Data Buku Logical Framework Books
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 |