Avenhaus, J. ; Becker, K.:
A Framework for Operational Equational Specifications with Pre-defined
Structures,
Journal of Symbolic Computation 27, 1999, pp. 271-310.
Baar, T. ; Fischer, B. ; Fuchs, D.:
Integrating Deduction Techniques in a Software Reuse Application,
Journal of Universal Computer Science (JUCS) 5(3), 1999, pp. 52-72.
Fuchs, D.:
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi,
Fundamenta Informaticae 39, 1999, pp. 123-143.
Fuchs, D. ; Fuchs M.:
Cooperation between Top-down and Bottom-up Theorem Provers,
Journal of Artificial Intelligence Research (JAIR), 10, 1999, pp. 169-198.
Conference Proceedings
Deiß, T.:
An Approach to the Combination of Formal Description Techniques:
Statecharts and TLA,
to appear in Proc. Workshop `Integrated Formal Methods 1999', York.
Denzinger, J. ; Fuchs, D.:
Cooperation of Heterogeneous Provers,
Proc. IJCAI-99, Stockholm, Morgan Kaufmann, 1999, pp. 10-15.
Denzinger, J. ; Offermann, T.:
On Cooperation between Evolutionary Algorithms and other Search
Paradigms,
Proc. CEC-99, Washington, IEEE Press, 1999, pp. 2317-2324.
Fuchs, D. ; Fuchs, Marc:
Abstraction-Based Relevancy Testing for Model Elimination,
to appear in Proc. CADE-16, Trento, 1999.
Fuchs, D. ; Fuchs, Marc ; Fuchs, Matthias:
Generating Lemmas for Tableau-based Proof Search Using Genetic
Programming,
to appear in Proc. GECCO-99, Orlando, 1999.
Kronenburg, M. ; Peper, C.:
Definition and Instantiation of a Reference Model for Problem
Specifications,
Proc. 11th International Conference on Software Engineering
and Knowledge Engineering (SEKE'99), Kaiserslautern, 1999, pp. 332-336.
Internal Reports
Denzinger, J. ; Fuchs, M. ; Goller, C. ; Schulz, S.:
Learning from Previous Proof Experience: A Survey,
AR-Report AR-99-4, TU München, 1999.
