Sciweavers

Share
BIRTHDAY
2003
Springer

From CTL to Datalog

10 years 9 months ago
From CTL to Datalog
We provide a translation from CTL to Datalog¬ Succ. The translation has the following advantages: a) It is natural. b) It provides intuition to the expressive power of CTL and its various fragments. c) It uses a fragment of Datalog¬ Succ which is close to the expressive power of CTL. Categories and Subject Descriptors F.4 [Mathematical Logic and Formal Languages]: Mathematical Logic—temporal logic; I.2.3 [Deduction and Theorem Proving]—logic programming General Terms Theory, verification
Foto N. Afrati, Theodore Andronikos, Vassia Pavlak
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where BIRTHDAY
Authors Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian
Comments (0)
books