Wednesday, April 20, 2016

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
Post a Comment