top

An interpretation of computational tree logics into temporal logics with reference pointers

V. Goranko. An interpretation of computational tree logics into temporal logics with reference pointers. Technical Report 2/96, Verslagreeks van die Department Wiskunde, RAU, Department of Mathematics, Rand Afrikaans University, 1996.

Download: (unavailable)

Abstract:

(unavailable)

BibTeX: (download)

@TECHREPORT{goranko96,
  author = {V. Goranko},
  title = {An interpretation of computational tree logics into temporal logics
	with reference pointers},
  institution = {Verslagreeks van die Department Wiskunde, RAU, Department of Mathematics,
	Rand Afrikaans University},
  year = {1996},
  number = {2/96},
  address = {Johannesburg, South Africa},
}

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