-
1
-
-
84937433404
-
First-order atom definitions extended
-
in R. Nieuwenhuis & A. Voronkov, LNAI, Springer
-
Afshordel, B., Hillenbrand, T. & Weidenbach, C. (2001), First-order atom definitions extended, in R. Nieuwenhuis & A. Voronkov, eds, ‘Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001’, Vol. 2250 of LNAI, Springer, pp. 309-319.
-
(2001)
Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001
, vol.2250
, pp. 309-319
-
-
Afshordel, B.1
Hillenbrand, T.2
Weidenbach, C.3
-
2
-
-
0020883665
-
Terminator
-
in A. Bundy, ed
-
Antoniou, G. & Ohlbach, H. J. (1983), Terminator, in A. Bundy, ed., ‘Proceedings of 8th International Joint Conference on Artificial Intelligence, IJCAI-83’, pp. 916-919.
-
(1983)
Proceedings of 8Th International Joint Conference on Artificial Intelligence, IJCAI-83
, pp. 916-919
-
-
Antoniou, G.1
Ohlbach, H.J.2
-
3
-
-
0005483198
-
Rewrite-based equational theorem proving with selection and simplification
-
Bachmair, L. & Ganzinger, H. (1994), ‘Rewrite-based equational theorem proving with selection and simplification’, Journal of Logic and Computation.
-
(1994)
Journal of Logic and Computation
-
-
Bachmair, L.1
Ganzinger, H.2
-
4
-
-
84947925929
-
Equation solving in geometrical theories
-
N. Dershowitz & N. Lindenstrauss, eds, LNCS, Springer
-
Balbiani, P. (1995), Equation solving in geometrical theories, in N. Dershowitz & N. Lindenstrauss, eds, ‘Proceedings of the 4th international workshop on conditional and typed rewriting systems’, Vol. 968 of LNCS, Springer.
-
(1995)
Proceedings of the 4Th International Workshop on Conditional and Typed Rewriting Systems
, vol.968
-
-
Balbiani, P.1
-
5
-
-
84893216366
-
-
Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany
-
Brinker, C. (2000), Geometrisches Schliessen mit Spass, Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany.
-
(2000)
Geometrisches Schliessen Mit Spass
-
-
Brinker, C.1
-
6
-
-
84976799536
-
Variations on the common subexpression problem
-
Downey, P. J., Sethi, R. & Tarjan, R. E. (1980), ‘Variations on the common subexpression problem’, Journal of the ACM 27(4), 758-771.
-
(1980)
Journal of the ACM
, vol.27
, Issue.4
, pp. 758-771
-
-
Downey, P.J.1
Sethi, R.2
Tarjan, R.E.3
-
7
-
-
84957060636
-
Soft typing for ordered resolution
-
LNAI, Springer, Townsville, Australia
-
Ganzinger, H., Meyer, C. & Weidenbach, C. (1997), Soft typing for ordered resolution, in ‘Proceedings of the 14th International Conference on Automated Deduction, CADE-14’, Vol. 1249 of LNAI, Springer, Townsville, Australia, pp. 321-335.
-
(1997)
Proceedings of the 14Th International Conference on Automated Deduction, CADE-14
, vol.1249
, pp. 321-335
-
-
Ganzinger, H.1
Meyer, C.2
Weidenbach, C.3
-
8
-
-
84957631964
-
Waldmeister -improvements in performance and ease of use
-
in H. Ganzinger, ed, LNAI, Springer
-
Hillenbrand, T., Jaeger, A. & Löchner, B. (1999), Waldmeister -improvements in performance and ease of use, in H. Ganzinger, ed., ‘16th International Conference on Automated Deduction, CADE-16’, LNAI, Springer, pp. 232-236.
-
(1999)
16Th International Conference on Automated Deduction, CADE-16
, pp. 232-236
-
-
Hillenbrand, T.1
Jaeger, A.2
Löchner, B.3
-
9
-
-
15544368828
-
Computing small clause normal forms
-
in A. Robinson & A. Voronkov, Elsevier, chapter 6
-
Nonnengart, A. & Weidenbach, C. (2001), Computing small clause normal forms, in A. Robinson & A. Voronkov, eds, ‘Handbook of Automated Reasoning’, Vol. 1, Elsevier, chapter 6, pp. 335-367.
-
(2001)
‘Handbook of Automated Reasoning
, vol.1
, pp. 335-367
-
-
Nonnengart, A.1
Weidenbach, C.2
-
10
-
-
84949048384
-
-
Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany
-
Topić, D. (2002), Static analysis of list-processing C programs, Diplomarbeit, Universität des Saarlandes and Max-Planck-Institut für Informatik, Saarbrücken, Germany.
-
(2002)
Static Analysis of List-Processing C Programs
-
-
Topić, D.1
-
11
-
-
15544363314
-
Combining superposition, sorts and splitting
-
in A. Robinson & A. Voronkov, Elsevier, chapter 27
-
Weidenbach, C. (2001), Combining superposition, sorts and splitting, in A. Robinson & A. Voronkov, eds, ‘Handbook of Automated Reasoning’, Vol. 2, Elsevier, chapter 27, pp. 1965-2012.
-
(2001)
Handbook of Automated Reasoning
, vol.2
, pp. 1965-2012
-
-
Weidenbach, C.1
-
12
-
-
84957639842
-
System description: Spass version 1.0.0
-
in H. Ganzinger, ed., LNAI, Springer
-
Weidenbach, C., Afshordel, B., Brahm, U., Cohrs, C., Engel, T., Keen, E., Theobalt, C. & Topic, D. (1999), System description: Spass version 1.0.0, in H. Ganzinger, ed., ‘16th International Conference on Automated Deduction, CADE-16’, Vol. 1632 of LNAI, Springer, pp. 314-318.
-
(1999)
16Th International Conference on Automated Deduction, CADE-16
, vol.1632
, pp. 314-318
-
-
Weidenbach, C.1
Afshordel, B.2
Brahm, U.3
Cohrs, C.4
Engel, T.5
Keen, E.6
Theobalt, C.7
Topic, D.8
|