Search Sciweavers | Sciweavers

33 search results - page 1 / 7

» itp 2010

click to vote

ITP
2010

139views Mathematics» more ITP 2010»

Validating QBF Invalidity in HOL4

15 years 6 months ago

Download www.cl.cam.ac.uk

Tjark Weber

claim paper

Read More »

click to vote

ITP
2010

126views Mathematics» more ITP 2010»

A Formally Verified OS Kernel. Now What?

15 years 4 months ago

Download www.cse.unsw.edu.au

Gerwin Klein

claim paper

Read More »

Voted

ITP
2010

138views Mathematics» more ITP 2010»

An Efficient Coq Tactic for Deciding Kleene Algebras

15 years 4 months ago

Download sardes.inrialpes.fr

Thomas Braibant, Damien Pous

claim paper

Read More »

click to vote

ITP
2010

119views Mathematics» more ITP 2010»

Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison

15 years 6 months ago

Download www.cs.mcgill.ca

Amy P. Felty, Brigitte Pientka

claim paper

Read More »

click to vote

ITP
2010

142views Mathematics» more ITP 2010»

Inductive Consequences in the Calculus of Constructions

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers