-
1
-
-
84957866579
-
Associative-commutative super-position
-
N. Dershowitz, N. Lindenstrauss (Eds.), Conditional and Typed Rewriting Systems, CTRS-94, Jerusalem, Israel, July 13-15, LNCS 968, Springer, Berlin
-
L. Bachmair, H. Ganzinger, Associative-commutative super-position, in: N. Dershowitz, N. Lindenstrauss (Eds.), Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, LNCS 968, Springer, Berlin, pp. 1-14.
-
(1994)
4th International Workshop
, pp. 1-14
-
-
Bachmair, L.1
Ganzinger, H.2
-
2
-
-
84935979268
-
Complete sets of reductions modulo associativity, commutativity and identity
-
N. Dershowitz (Ed.), Rewriting Techniques and Applications, Chapel Hill, NC, USA, April 3-5, LNCS 355, Springer, Berlin
-
T.B. Baird, G.E. Peterson, R.W. Wilkerson, Complete sets of reductions modulo associativity, commutativity and identity, in: N. Dershowitz (Ed.), Rewriting Techniques and Applications, 3rd International Conference, Chapel Hill, NC, USA, April 3-5, 1989, LNCS 355, Springer, Berlin, pp. 29-44.
-
(1989)
3rd International Conference
, pp. 29-44
-
-
Baird, T.B.1
Peterson, G.E.2
Wilkerson, R.W.3
-
3
-
-
0000029077
-
Rewrite systems
-
J. van Leeuwen (Ed.), Elsevier, Amsterdam, The Netherlands, Chapter 6
-
N. Dershowitz, J.-P. Jouannaud, Rewrite systems, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, Elsevier, Amsterdam, The Netherlands, 1990, Chapter 6, pp. 243-320.
-
(1990)
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
, pp. 243-320
-
-
Dershowitz, N.1
Jouannaud, J.-P.2
-
4
-
-
79955723230
-
Theorem proving in cancellative abelian monoids
-
M.A. McRobbie, J.K. Slaney (Eds.), Automated Deduction - CADE-13, New Brunswick, NJ, USA, July 30-August 3, LNAI 1104, Springer, Berlin
-
H. Ganzinger, U. Waldmann, Theorem proving in cancellative abelian monoids (extended abstract), in: M.A. McRobbie, J.K. Slaney (Eds.), Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996, LNAI 1104, Springer, Berlin, pp. 388-402.
-
(1996)
13th International Conference on Automated Deduction
, pp. 388-402
-
-
Ganzinger, H.1
Waldmann, U.2
-
5
-
-
38249008584
-
Termination and completion modulo associativity, commutativity and identity
-
J.-P. Jouannaud, C. Marché, Termination and completion modulo associativity, commutativity and identity, Theoretical Computer Science 104 (1) (1992) 29-51.
-
(1992)
Theoretical Computer Science
, vol.104
, Issue.1
, pp. 29-51
-
-
Jouannaud, J.-P.1
Marché, C.2
-
6
-
-
0026881401
-
Double-exponential complexity of computing a complete set of AC-unifiers
-
Santa Cruz, CA, USA, June 22-25, IEEE Computer Society Press
-
D. Kapur, P. Narendran, Double-exponential complexity of computing a complete set of AC-unifiers, in: Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, CA, USA, June 22-25, 1992, IEEE Computer Society Press, pp. 11-21.
-
(1992)
Seventh Annual IEEE Symposium on Logic in Computer Science
, pp. 11-21
-
-
Kapur, D.1
Narendran, P.2
-
7
-
-
0030101584
-
Normalized rewriting: An alternative to rewriting modulo a set of equations
-
C. Marché, Normalized rewriting: an alternative to rewriting modulo a set of equations, J. Symbolic Computation 21 (3) (1996) 253-288.
-
(1996)
J. Symbolic Computation
, vol.21
, Issue.3
, pp. 253-288
-
-
Marché, C.1
-
8
-
-
84957658977
-
Transforming termination by self-labelling
-
M.A. McRobbie, J.K. Slaney (Eds.), Automated Deduction - CADE-13, New Brunswick, NJ, USA, July 30-August 3, LNAI 1104, Springer, Berlin
-
A. Middeldorp, H. Ohsaki, H. Zantema, Transforming termination by self-labelling, in: M.A. McRobbie, J.K. Slaney (Eds.), Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996, LNAI 1104, Springer, Berlin, pp. 373-387.
-
(1996)
13th International Conference on Automated Deduction
, pp. 373-387
-
-
Middeldorp, A.1
Ohsaki, H.2
Zantema, H.3
-
9
-
-
84976823860
-
Complete sets of reductions for some equational theories
-
G.E. Peterson, M.E. Stickel, Complete sets of reductions for some equational theories, J. ACM 28 (2) (1981) 233-264.
-
(1981)
J. ACM
, vol.28
, Issue.2
, pp. 233-264
-
-
Peterson, G.E.1
Stickel, M.E.2
-
10
-
-
84957617657
-
Superposition theorem proving for abelian groups represented as integer modules
-
H. Ganzinger (Ed.), Rewriting Techniques and Applications, RTA-96, New Brunswick, NJ, USA, July 27-30, LNCS 1103, Springer, Berlin
-
J. Stuber, Superposition theorem proving for abelian groups represented as integer modules, in: H. Ganzinger (Ed.), Rewriting Techniques and Applications, 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, LNCS 1103, Springer, Berlin, pp. 33-47.
-
(1996)
7th International Conference
, pp. 33-47
-
-
Stuber, J.1
-
11
-
-
0004196657
-
-
Ph.D. Thesis, Universität des Saarlandes, Saarbrücken, Germany
-
U. Waldmann, Cancellative Abelian Monoids in Refutational Theorem Proving, Ph.D. Thesis, Universität des Saarlandes, Saarbrücken, Germany, 1997. http://www.mpi-sb.mpg. de/~uwe/paper/PhD.ps.gz.
-
(1997)
Cancellative Abelian Monoids in Refutational Theorem Proving
-
-
Waldmann, U.1
-
12
-
-
0041952049
-
Superposition for divisible torsion-free abelian groups
-
C. Kirchner, H. Kirchner (Eds.), CADE-15, Lindau, Germany, July 5-10, to appear
-
U. Waldmann, Superposition for divisible torsion-free abelian groups, in: C. Kirchner, H. Kirchner (Eds.), CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, to appear.
-
(1998)
15th International Conference on Automated Deduction
-
-
Waldmann, U.1
-
13
-
-
0004037628
-
First-order theorem proving modulo equations
-
Max-Planck-Institut für Informatik, Saarbrücken, Germany, April
-
U. 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)
Technical Report MPI-I-92-216
-
-
Wertz, U.1
|