Sciweavers

4573 search results - page 161 / 915

» Automated Reasoning

80

Voted

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

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

15 years 9 months 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 »

97

Voted

TPHOL
2005
IEEE

84views Automated Reasoning» more TPHOL 2005»

Essential Incompleteness of Arithmetic Verified by Coq

15 years 9 months ago

Essential Incompleteness of Arithmetic Verified by Coq

Download www.win.tue.nl

Russell O'Connor

claim paper

Read More »

92

Voted

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

15 years 9 months ago

Proving Bounds for Real Linear Programs in Isabelle/HOL

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

114

Voted

TPHOL
2005
IEEE

103views Automated Reasoning» more TPHOL 2005»

Extensionality in the Calculus of Constructions

15 years 9 months ago

Extensionality in the Calculus of Constructions

Download www.lri.fr

Nicolas Oury

claim paper

Read More »

82

Voted

CSL
2005
Springer

80views Automated Reasoning» more CSL 2005»

Towards a Characterization of Order-Invariant Queries over Tame Structures

15 years 9 months ago

Towards a Characterization of Order-Invariant Queries over Tame Structures

Download www.lsv.ens-cachan.fr

Michael Benedikt, Luc Segoufin

claim paper

Read More »

« Prev « First page 161 / 915 Last » Next »