Sciweavers

1167 search results - page 71 / 234

» A Really Temporal Logic

22

CORR
2010
Springer

158views Education» more CORR 2010»

A Survey on Temporal Logics

13 years 9 months ago

A Survey on Temporal Logics

Download www.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

8

CORR
2010
Springer

40views Education» more CORR 2010»

Real-time and Probabilistic Temporal Logics: An Overview

13 years 9 months ago

Real-time and Probabilistic Temporal Logics: An Overview

Download cgi.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

28

ENTCS
2010

111views more ENTCS 2010»

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

13 years 9 months ago

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

Download eprints.ecs.soton.ac.uk

Corina Cîrstea

claim paper

Read More »

23

FUIN
2008

80views more FUIN 2008»

Products of Tree Automata with an Application to Temporal Logic

13 years 9 months ago

Products of Tree Automata with an Application to Temporal Logic

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

22

IGPL
2007

91views more IGPL 2007»

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

13 years 9 months ago

From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability

Download www2.imm.dtu.dk

Valentin Goranko, Alberto Zanardo

claim paper

Read More »

« Prev « First page 71 / 234 Last » Next »