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 18:45, 20 July 2004 (Questions about names). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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)

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