top

Temporal Logic with Reference Pointers and Computational Tree Logics

V. Goranko. Temporal Logic with Reference Pointers and Computational Tree Logics. Journal of Applied Non-Classical Logics, 9(2--3):345–368, 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@ARTICLE{goranko99temporal,
  author = {V. Goranko},
  title = {Temporal Logic with Reference Pointers and Computational Tree Logics},
  journal = {Journal of Applied Non-Classical Logics},
  year = {1999},
  volume = {9},
  pages = {345--368},
  number = {2--3},
  ib2html_pubtype = {Journal Articles}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33