Searching for authors named "Dirk Fuchs" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information
- …Coupling Saturation-Based Provers by Exchanging Positive/Negative Information Dirk Fuchs…
- Cited by 3 (1 self) – Add To MetaCart
-
Inference Rights for Controlling Search in Generating Theorem Provers
- …Inference Rights for Controlling Search in Generating Theorem Provers Dirk Fuchs Fachbereich…
- Cited by 1 (1 self) – Add To MetaCart
-
Requirement-Based Cooperative Theorem Proving
- …Requirement-Based Cooperative Theorem Proving Dirk Fuchs Fachbereich Informatik, Universitat…
- Cited by 5 (0 self) – Add To MetaCart
-
Knowledge-based Cooperation between Theorem Provers by TECHS
- …Knowledge-based Cooperation between Theorem Provers by Techs Dirk Fuchs, Jorg Denzinger…
- Cited by 6 (2 self) – Add To MetaCart
-
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer
- …Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer Dirk Fuchs…
- Cited by 4 (2 self) – Add To MetaCart
-
Referees for Teamwork
- …Referees for Teamwork Jorg Denzinger, Dirk Fuchs Department of Computer Science University…
- Cited by 5 (4 self) – Add To MetaCart
-
Cooperation in Theorem Proving by Loosely Coupled Heuristics
- …Cooperation in Theorem Proving by Loosely Coupled Heuristics Dirk Fuchs, Jorg Denzinger…
- Cited by 2 (1 self) – Add To MetaCart
-
Integrating deduction techniques in a software reuse application
- … Research Center sch@(email omitted); Dirk Fuchs Fachbereich Informatik, Universitat Kaiserslautern…
- Cited by 3 (1 self) – Add To MetaCart
-
Experiments with ATP Integration in a Software Engineering Application
- … Fischer 2 , and Dirk Fuchs 3 1 Inst. f. Mathematik, HU Berlin baar@(email omitted); 2 Abt…
- Add To MetaCart
Showing 1 through 9.
