Search Sciweavers | Sciweavers

1167 search results - page 73 / 234

» A Really Temporal Logic

click to vote

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

13 years 9 months ago

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

click to vote

CORR
2010
Springer

63views Education» more CORR 2010»

Robust Vacuity for Branching Temporal Logic

13 years 8 months ago

Download tocl.acm.org

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

click to vote

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

13 years 8 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

click to vote

CORR
2010
Springer

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

13 years 8 months ago

Download www.cs.unicam.it

Marcello M. Bersani, Achille Frigeri, Angelo Morze...

claim paper

Read More »

click to vote

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers