Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Baa1989]  An Effective Decision Algorithm for Propositional Temporal Logic

Baaz89OGAI (In proceedings)
Author(s)Baaz M.
Title"An Effective Decision Algorithm for Propositional Temporal Logic"
Date1989
In5. Österreichische Artificial-Intelligence-Tagung
SeriesInformatik Fachberichte 208
Page(s)106--113
PublisherSpringer

BibTeX code

@inproceedings{Baaz89OGAI,
  publisher = {Springer},
  title = {An Effective Decision Algorithm for Propositional Temporal Logic},
  author = {Baaz, M.},
  year = {1989},
  booktitle = {5.˜\"Osterreichische Artificial-Intelligence-Tagung},
  pages = {106--113},
  series = {Informatik Fachberichte˜208},
}

 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)