Search Sciweavers | Sciweavers

18 search results - page 1 / 4

» tphol 2005

Voted

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

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

15 years 4 months ago

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

Voted

TPHOL
2005
IEEE

84views Automated Reasoning» more TPHOL 2005»

Essential Incompleteness of Arithmetic Verified by Coq

15 years 4 months ago

Download www.win.tue.nl

Russell O'Connor

claim paper

Read More »

click to vote

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

15 years 4 months ago

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

Voted

TPHOL
2005
IEEE

103views Automated Reasoning» more TPHOL 2005»

Extensionality in the Calculus of Constructions

15 years 4 months ago

Download www.lri.fr

Nicolas Oury

claim paper

Read More »

Voted

TPHOL
2005
IEEE

100views Automated Reasoning» more TPHOL 2005»

Meta Reasoning in ACL2

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers