Search Sciweavers | Sciweavers

1167 search results - page 73 / 234

» A Really Temporal Logic

103

click to vote

FUIN
2008

72views more FUIN 2008»

Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics

15 years 1 months ago

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

Voted

CORR
2010
Springer

63views Education» more CORR 2010»

Robust Vacuity for Branching Temporal Logic

15 years 4 days ago

Download tocl.acm.org

Arie Gurfinkel, Marsha Chechik

claim paper

Read More »

Voted

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

14 years 12 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

14 years 12 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers