Search Sciweavers | Sciweavers

60 search results - page 1 / 12

» Practical First-Order Temporal Reasoning

click to vote

TIME
2008
IEEE

145views Automated Reasoning» more TIME 2008»

Practical First-Order Temporal Reasoning

13 years 11 months ago

Download www.csc.liv.ac.uk

In this paper we consider the speciﬁcation and veriﬁcation of inﬁnite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...

Clare Dixon, Michael Fisher, Boris Konev, Alexei L...

claim paper

Read More »

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 years 8 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

click to vote

CADE
1997
Springer

143views Logical Reasoning» more CADE 1997»

A Practical Integration of First-Order Reasoning and Decision Procedures

13 years 8 months ago

Download www-step.stanford.edu

Nikolaj Bjørner, Mark E. Stickel, Tom&aacut...

claim paper

Read More »

click to vote

TIME
2003
IEEE

92views Automated Reasoning» more TIME 2003»

Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case

13 years 9 months ago

Download www.csc.liv.ac.uk

Boris Konev, Anatoli Degtyarev, Clare Dixon, Micha...

claim paper

Read More »

click to vote

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers