Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BZ1993b]  First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version

BaazZach93TR (Technical report)
Author(s)Baaz M. and Zach R.
Title"First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version"
Date1993
InstitutionTechnische Universität Wien, Institut für Computersprachen E185.2
NumberTUW-E185.2-BZ.1-93R

BibTeX code

@techreport{BaazZach93TR,
  title = {First-order Temporal Logic with Time-Gaps: Complete Sequent Calculus and Resolution System. Revised Version},
  author = {Baaz, M. and Zach, R.},
  year = {1993},
  number = {TUW-E185.2-BZ.1-93R},
  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)