Suche
Kategorie
JGU Mainz (85458)
Uni Koblenz (18883)
18883 Treffer
×
Universität Koblenz
- Baumgartner, Peter; Brüning, Stefan
- A disjunctive positive refinement of model elimination and its application to subsumption deletion
- Koblenz-Landau: Univ., Inst. f. Informatik 1995 48 S. (Fachberichte Informatik ; 6/95)
- Baumgartner, Peter
- Session 4: FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure
- Lecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219
- Baumgartner, Peter; P. Baumgartner, P.; Furbach, U.
- Refinements for Restart Model Elimination
- Proceedings of the International Workshop on First Order Theorem Proving (FTP 97). 1997
- Baumgartner, Peter; Aravindan, C.; Baumgartner, P. et al.
- A Rational and Efficient Algorithm for View Deletion in Databases
- J. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
- Baumgartner, P.; Furbach, U.; J. Maluszynski, J. Maluszynski
- Calculi for Disjunctive Logic Programming
- J. Maluszynski (Hrsg). Logic Programming - Proceedings of the 1997 International Symposium. The MIT Press 1997
- Baumgartner, Peter
- Linear and Unit-Resulting Refutations for Horn Theories
- Journal of automated reasoning. Bd. 16. H. 3. Dordrecht [u.a.]: Springer 1996 S. 241 - 320
- Baumgartner, Peter; Furbach, Ulrich
- Model Elimination without Contrapositives and its Application to PTTP
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1993 S. 1 - 23 (Fachberichte Informatik ; 12/93)
- Baumgartner, Peter; Furbach, Ulrich
- Consolution as a framework for comparing calculi
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 26 (Fachberichte Informatik ; 1992,11)
- Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
- Model Elimination, Logic Programming and Computing Answers
- Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1995 S. 1 - 31 (Fachberichte Informatik ; 1/95)
- Baumgartner, Peter; Furbach, Ulrich
- PROTEIN: A PROver with a Theory Extension Interface
- Alan Bundy (Hrsg). Automated Deduction - CADE-12: 12th International Conference on Automated Deduction; Nancy, France, June 26 – July 1, 1994 Proceedings. Bd. 814. Berlin: Springer 1994 S. 769 - 773