Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BLZ1996]  Completeness of a First-order Temporal Logic with Time-Gaps

BaazLeitZach96TCS (Article)
Author(s)Baaz M., Leitsch A. and Zach R.
Title"Completeness of a First-order Temporal Logic with Time-Gaps"
Datejun 1996
JournalTheoret. Comput. Sci.
Volume160
Number1--2
Page(s)241--270

BibTeX code

@article{BaazLeitZach96TCS,
  journal = {Theoret. Comput. Sci.},
  volume = {160},
  title = {Completeness of a First-order Temporal Logic with Time-Gaps},
  year = {1996},
  pages = {241--270},
  number = {1--2},
  month = {jun},
  author = {Baaz, M. and Leitsch, A. and Zach, R.},
}

 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)