Sciweavers

1283 search results - page 78 / 257

» A Survey on Temporal Logics

120

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

15 years 6 months ago

The Complexity of Propositional Linear Temporal Logics in Simple Cases

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

144

AMAI
1998
Springer

101views Artificial Intelligence» more AMAI 1998»

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

15 years 5 months ago

Focusing Qualitative Simulation Using Temporal Logic: Theoretical Foundations

Download users.dimi.uniud.it

Giorgio Brajnik, Daniel J. Clancy

claim paper

Read More »

121

APAL
1999

74views more APAL 1999»

Dynamic Linear Time Temporal Logic

15 years 5 months ago

Dynamic Linear Time Temporal Logic

Download eref.uqu.edu.sa

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

153

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

15 years 5 months ago

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

91

CORR
2010
Springer

63views Education» more CORR 2010»

Robust Vacuity for Branching Temporal Logic

15 years 4 months ago

Robust Vacuity for Branching Temporal Logic

Download tocl.acm.org

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

« Prev « First page 78 / 257 Last » Next »