Jump to content

Talk:Computation tree logic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Gdementen (talk | contribs) at 02:00, 21 July 2004 (State & path operators). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Names?

  • Does anybody know the full name for CTL*?
  • And by the way, I'm not sure if the correct name is "Computational tree logic" or "Computation tree logic". I've seen both. Which is the (more) correct one?

--[[User:Gedeon|Ged (talk)]] 18:45, 20 Jul 2004 (UTC)

State & path operators

I just came up with the terms "state operators" and "path operators" myself. If there is another "official" name for those or someone find something better, please edit... --[[User:Gedeon|Ged (talk)]] 02:00, 21 Jul 2004 (UTC)

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Computation_tree_logic&oldid=16646655"