Search Sciweavers | Sciweavers

411 search results - page 15 / 83

» Timed Alternating-Time Temporal Logic

click to vote

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

click to vote

IGPL
2007

91views more IGPL 2007»

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

13 years 10 months ago

Download www2.imm.dtu.dk

Valentin Goranko, Alberto Zanardo

claim paper

Read More »

click to vote

APAL
1999

74views more APAL 1999»

Dynamic Linear Time Temporal Logic

13 years 9 months ago

Download eref.uqu.edu.sa

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

click to vote

CORR
2010
Springer

138views Education» more CORR 2010»

A Logical Temporal Relational Data Model

13 years 10 months ago

Download www.ijcsi.org

Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...

Nadeem Mahmood, Aqil Burney, Kamran Ahsan

claim paper

Read More »

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers