-
1
-
-
84957866579
-
Associative-commutative superposition
-
Nachum Dershowitz and Naomi Lindenstrauss, eds., Jerusalem, Israel, July 13-15,, LNCS 968, Springer-Verlag
-
Leo Bachmair and Harald Ganzinger. Associative-commutative superposition. In Nachum Dershowitz and Naomi Lindenstrauss, eds., Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, LNCS 968, pp. 1-14. Springer-Verlag.
-
(1994)
Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94
, pp. 1-14
-
-
Bachmair, L.1
Ganzinger, H.2
-
2
-
-
0005483198
-
Rewrite-based equational theorem proving with selection and simplification
-
Leo Bachmair and Harald Ganzinger. Rewrite-based equational theorem proving with selection and simplification. Journal of Logic and Computation, 4(3): 217-247, 1994.
-
(1994)
Journal of Logic and Computation
, vol.4
, Issue.3
, pp. 217-247
-
-
Bachmair, L.1
Ganzinger, H.2
-
3
-
-
79955723230
-
Theorem proving in cancellative abelian monoids (extended abstract)
-
Michael A. McRobbie and John K. Slaney, eds., New Brunswick, NJ, USA, July 30-August 3,, LNAI 1104, Springer-Verlag
-
Harald Ganzinger and Uwe Waldmann. Theorem proving in cancellative abelian monoids (extended abstract). In Michael A. McRobbie and John K. Slaney, eds., Automated Deduction-CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996, LNAI 1104, pp. 388-402. Springer-Verlag.
-
(1996)
Automated Deduction-CADE-13, 13th International Conference on Automated Deduction
, pp. 388-402
-
-
Ganzinger, H.1
Waldmann, U.2
-
4
-
-
0030101584
-
Normalized rewriting: An alternative to rewriting modulo a set of equations
-
March
-
Claude Marché. Normalized rewriting: an alternative to rewriting modulo a set of equations. Journal of Symbolic Computation, 21(3): 253-288, March 1996.
-
(1996)
Journal of Symbolic Computation
, vol.21
, Issue.3
, pp. 253-288
-
-
Marché, C.1
-
6
-
-
84957617657
-
Superposition theorem proving for abelian groups represented as integer modules
-
Harald Ganzinger, ed., RTA-96, New Brunswick, NJ, USA, July 27-30,, LNCS 1103,. Springer-Verlag
-
Jürgen Stuber. Superposition theorem proving for abelian groups represented as integer modules. In Harald Ganzinger, ed., Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, LNCS 1103, pp. 33-47. Springer-Verlag.
-
(1996)
Rewriting Techniques and Applications, 7th International Conference
, pp. 33-47
-
-
Stuber, J.1
-
9
-
-
0004037628
-
-
Technical Report MPI-I-92-216, Max-Planck-Institut für Informatik, Saarbrücken, Germany, April
-
Ulrich Wertz. First-order theorem proving modulo equations. Technical Report MPI-I-92-216, Max-Planck-Institut für Informatik, Saarbrücken, Germany, April 1992.
-
(1992)
First-order theorem proving modulo equations
-
-
Wertz, U.1
|