240 search results - page 1 / 48 » Incorporating Tables into Proofs |
CSL
2007
Springer
13 years 11 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
AMAST
2008
Springer
13 years 6 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
AAAI
2007
13 years 7 months ago
2007
Tables are ubiquitous in web pages and scientific documents. With the explosive development of the web, tables have become a valuable information repository. Therefore, effective...
WWW
2007
ACM
14 years 5 months ago
2007
ACM
Tables are ubiquitous. Unfortunately, no search engine supports table search. In this paper, we propose a novel table specific searching engine, TableSeer, to facilitate the table...
PPDP
2000
Springer
13 years 8 months ago
2000
Springer
