Sciweavers

23413 search results - page 173 / 4683

» or 2005

152

Voted

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

16 years 20 days ago

Temporal Logic with Predicate lambda-Abstraction

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

164

TIME
2005
IEEE

98views Automated Reasoning» more TIME 2005»

Propositional Interval Temporal Logics: Some Promising Paths

16 years 20 days ago

Propositional Interval Temporal Logics: Some Promising Paths

Download users.dimi.uniud.it

Angelo Montanari

claim paper

Read More »

166

Voted

TIME
2005
IEEE

132views Automated Reasoning» more TIME 2005»

Temporal XML? SQL Strikes Back!

16 years 20 days ago

Temporal XML? SQL Strikes Back!

Download www.cs.ucla.edu

Fusheng Wang, Carlo Zaniolo, Xin Zhou

claim paper

Read More »

129

Voted

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

16 years 20 days ago

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

140

TPHOL
2005
IEEE

84views Automated Reasoning» more TPHOL 2005»

Essential Incompleteness of Arithmetic Verified by Coq

16 years 20 days ago

Essential Incompleteness of Arithmetic Verified by Coq

Download www.win.tue.nl

Russell O'Connor

claim paper

Read More »

« Prev « First page 173 / 4683 Last » Next »