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 | ||||