Search Sciweavers | Sciweavers

4099 search results - page 18 / 820

» A Framework for Interactive Proof

136

click to vote

ACL2
2006
ACM

258views Computational Linguistics» more ACL2 2006»

A robust machine code proof framework for highly secure applications

15 years 11 months ago

Download www.ccs.neu.edu

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

claim paper

Read More »

131

click to vote

ANLP
2000

86views more ANLP 2000»

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

15 years 6 months ago

Download hal.archives-ouvertes.fr

Sylvain Pogodalla

claim paper

Read More »

122

click to vote

ICS
2010
Tsinghua U.

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

Interactive Proofs For Quantum Computations

16 years 2 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »

124

click to vote

MKM
2005
Springer

105views Information Technology» more MKM 2005»

An Interactive Algebra Course with Formalised Proofs and Definitions

15 years 10 months ago

Download www.cs.ru.nl

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

claim paper

Read More »

111

click to vote

TPHOL
2003
IEEE

114views Automated Reasoning» more TPHOL 2003»

Click'n Prove: Interactive Proofs within Set Theory

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers