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    

Article Details

Article ID:
401
Category:
Date added:
2016-04-19 22:56:35
Rating (Votes):
(97)