Talk:Computational tree logic
|
|
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)