Search Sciweavers | Sciweavers

4099 search results - page 18 / 820

» A Framework for Interactive Proof

click to vote

ACL2
2006
ACM

258views Computational Linguistics» more ACL2 2006»

A robust machine code proof framework for highly secure applications

15 years 3 months ago

Download www.ccs.neu.edu

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

claim paper

Read More »

click to vote

ANLP
2000

86views more ANLP 2000»

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

14 years 11 months ago

Download hal.archives-ouvertes.fr

Sylvain Pogodalla

claim paper

Read More »

click to vote

ICS
2010
Tsinghua U.

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

Interactive Proofs For Quantum Computations

15 years 7 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »

click to vote

MKM
2005
Springer

105views Information Technology» more MKM 2005»

An Interactive Algebra Course with Formalised Proofs and Definitions

15 years 3 months ago

Download www.cs.ru.nl

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

claim paper

Read More »

Voted

TPHOL
2003
IEEE

114views Automated Reasoning» more TPHOL 2003»

Click'n Prove: Interactive Proofs within Set Theory

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers