Searching for "Distributing Equational Theorem Proving." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Distributing Equational Theorem Proving
- …Distributing equational theorem proving 1 J. Avenhaus \Delta J. Denzinger Fachbereich Informatik…
- Cited by 21 (5 self) – Add To MetaCart
-
The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth
- … for distributed (equational) theorem proving, namely the "teamwork-method". 0. Introduction The completion…
- Cited by 5 (3 self) – Add To MetaCart
-
Goal Oriented Equational Theorem Proving Using Team Work
- … teams and has been used to distribute equational theorem proving by completion. A proof system based…
- Cited by 24 (11 self) – Add To MetaCart
-
Referees for Teamwork
- …, J. ; Denzinger, J.: Distributing equational theorem proving, Proc. 5th RTA, Montreal, LNCS 690, 1993…
- Cited by 5 (4 self) – Add To MetaCart
-
Coordination of Mathematical Agents
- … [Den93, AD93] has been developed to distribute equational theorem proving by completion. A team…
- Add To MetaCart
-
Learning Domain Knowledge to Improve Theorem Proving
- … concluding with some final remarks. 2 Distributed Equational Theorem Proving 2.1 Unfailing Completion We…
- Cited by 18 (9 self) – Add To MetaCart
Showing 1 through 6.
