Search Sciweavers | Sciweavers

4099 search results - page 18 / 820

» A Framework for Interactive Proof

180

click to vote

ACL2
2006
ACM

258views Computational Linguistics» more ACL2 2006»

A robust machine code proof framework for highly secure applications

16 years 1 months ago

Download www.ccs.neu.edu

David S. Hardin, Eric W. Smith, William D. Young

claim paper

Read More »

161

click to vote

ANLP
2000

86views more ANLP 2000»

Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets

15 years 8 months ago

Download hal.archives-ouvertes.fr

Sylvain Pogodalla

claim paper

Read More »

156

click to vote

ICS
2010
Tsinghua U.

129views Distributed And Parallel Com...» more ICS 2010»

Interactive Proofs For Quantum Computations

16 years 4 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »

159

click to vote

MKM
2005
Springer

105views Information Technology» more MKM 2005»

An Interactive Algebra Course with Formalised Proofs and Definitions

16 years 17 days ago

Download www.cs.ru.nl

Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel ...

claim paper

Read More »

140

click to vote

TPHOL
2003
IEEE

114views Automated Reasoning» more TPHOL 2003»

Click'n Prove: Interactive Proofs within Set Theory

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers