Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BLZ1995]  Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs

BaazLeitZach95TR (Technical report)
Author(s)Baaz M., Leitsch A. and Zach R.
Title"Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs"
Date1995
InstitutionTechnische Universität Wien, Institut für Computersprachen E185.2
NumberTUW-E185.2-BLZ.1-95
NoteSubmitted to the Proc. of CSL'95

BibTeX code

@techreport{BaazLeitZach95TR,
  title = {Incompleteness of a First-Order {G\"odel} Logic and Some Temporal Logics of Programs},
  author = {Baaz, M. and Leitsch, A. and Zach, R.},
  year = {1995},
  note = {Submitted to the Proc.\ of CSL'95},
  number = {TUW-E185.2-BLZ.1-95},
  institution = {Technische Universit\"at Wien, Institut f\"ur Computersprachen E185.2},
}


 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)