Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ISAAC
1994
Springer

favoriteEmaildiscussreport

83views Algorithms» more ISAAC 1994»

On Helping and Interactive Proof Systems

13 years 9 months ago

On Helping and Interactive Proof Systems

Download www.uni-ulm.de

Vikraman Arvind, Johannes Köbler, Rainer Schu

Real-time Traffic

Algorithms | ISAAC 1994 |

claim paper

Related Content

» Proof General A Generic Tool for Proof Development

» From Proofs to Focused Proofs A Modular Proof of Focalization in Linear Logic

» Arbitration of a help system

» Does Advice Help to Prove Propositional Tautologies

» Quantum MerlinArthur Proof Systems Are Multiple Merlins More Helpful to Arthur

» JProver Integrating ConnectionBased Theorem Proving into Interactive Proof Assistants

» Probabilistic Proof Systems A Survey

» Coinductive Proofs for Basic Real Computation

» A proactive recommendation system for writing helping without disrupting

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1994
Where	ISAAC
Authors	Vikraman Arvind, Johannes Köbler, Rainer Schuler

Comments (0)