Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

In this talk we will report on three useful tools recently implemented in the frame of the Theorema project: a graphical user interface for interactive proof development, a higher-order rewriting mechanism, and a tool for automatically analyzing the logic

  • PDF / 42,739,945 Bytes
  • 533 Pages / 439.37 x 666.142 pts Page_size
  • 60 Downloads / 176 Views

DOWNLOAD

REPORT

Recommend Documents
Interactive Theorem Proving First International Conference, ITP 2010

175 35 6MB

A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems

139 87 16MB

Static Analysis of Term Graph Rewriting Systems

160 8 86MB

Query Rewriting

165 32 5MB

Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting

151 8 10MB

Theory of Cryptography 9th Theory of Cryptography Conference, TCC 20

164 108 8MB

Theory of Cryptography 4th Theory of Cryptography Conference, TCC 20

214 95 10MB

Web Search Query Rewriting

171 76 2MB

Developments in Language Theory 7th International Conference, DLT 20

156 88 6MB

Fatigue Analysis of Truck Frame Using Virtual Proving Ground

172 37 69MB

Combining Parallel Graph Rewriting and Quotient Graphs

186 37 6MB

Methods of Proving Incomputability

162 76 7MB