-
1
-
-
14744269339
-
Difference unification
-
International Joint Conference on Artificial Intelligence
-
Basin, David and Walsh, Toby: Difference unification, in Proc. 13th IJCAI, International Joint Conference on Artificial Intelligence, 1993, pp. 116-122.
-
(1993)
Proc. 13th IJCAI
, pp. 116-122
-
-
Basin, D.1
Walsh, T.2
-
2
-
-
33749989279
-
Termination orderings for rippling
-
Nancy, France, June Springer-Verlag
-
Basin, David and Walsh, Toby: Termination orderings for rippling, in Proc. 12th Int. Conf. Automated Deduction (CADE-12), Nancy, France, June 1994, Springer-Verlag.
-
(1994)
Proc. 12th Int. Conf. Automated Deduction (CADE-12)
-
-
Basin, D.1
Walsh, T.2
-
3
-
-
0010079485
-
The Karlsruhe induction theorem proving system
-
Oxford, UK
-
Biundo, Susanne, Hummel, Birgit, Hutter, Dieter, and Walther, Christoph: The Karlsruhe induction theorem proving system, in 8th Int. Conf. Automated Deduction, Oxford, UK, 1986.
-
(1986)
8th Int. Conf. Automated Deduction
-
-
Biundo, S.1
Hummel, B.2
Hutter, D.3
Walther, C.4
-
5
-
-
0342293997
-
Experiments with proof plans for induction
-
Bundy, Alan, van Harmelen, Frank, Hesketh, Jane, and Smaill, Alan: Experiments with proof plans for induction, J. Automated Reasoning 7 (1991), 303-324.
-
(1991)
J. Automated Reasoning
, vol.7
, pp. 303-324
-
-
Bundy, A.1
Van Harmelen, F.2
Hesketh, J.3
Smaill, A.4
-
6
-
-
0027643028
-
Rippling: A heuristic for guiding inductive proofs
-
Bundy, Alan, Stevens, Andrew, van Harmelen, Frank, Ireland, Andrew, and Smaill, Alan: Rippling: A heuristic for guiding inductive proofs, Artificial Intelligence 62 (1993), 185-253.
-
(1993)
Artificial Intelligence
, vol.62
, pp. 185-253
-
-
Bundy, A.1
Stevens, A.2
Van Harmelen, F.3
Ireland, A.4
Smaill, A.5
-
7
-
-
0348170645
-
The Oyster-Clam system
-
M. E. Stickel (ed.), 10th Int. Conf. Automated Deduction, Springer-Verlag
-
Bundy, Alan, van Harmelen, Frank, Horn, Christian, and Smaill, Alan: The Oyster-Clam system, in M. E. Stickel (ed.), 10th Int. Conf. Automated Deduction, Lecture Notes in Artificial Intelligence 449, Springer-Verlag, 1990, pp. 647-648.
-
(1990)
Lecture Notes in Artificial Intelligence
, vol.449
, pp. 647-648
-
-
Bundy, A.1
Van Harmelen, F.2
Horn, C.3
Smaill, A.4
-
8
-
-
85031808670
-
Extensions to the rippling-out tactic for guiding inductive proofs
-
M. E. Stickel (ed.), 10th Int. Conf. Automated Deduction, Springer-Verlag
-
Bundy, Alan, van Harmelen, Frank, Smaill, Alan, and Ireland, Andrew: Extensions to the rippling-out tactic for guiding inductive proofs, in M. E. Stickel (ed.), 10th Int. Conf. Automated Deduction, Lecture Notes in Artificial Intelligence 449, Springer-Verlag, 1990, pp. 132-146.
-
(1990)
Lecture Notes in Artificial Intelligence
, vol.449
, pp. 132-146
-
-
Bundy, A.1
Van Harmelen, F.2
Smaill, A.3
Ireland, A.4
-
9
-
-
4444359836
-
Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation
-
Bundy, Alan and Welham, Bob: Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation, Artificial Intelligence 16(2) (1981), 189-212.
-
(1981)
Artificial Intelligence
, vol.16
, Issue.2
, pp. 189-212
-
-
Bundy, A.1
Welham, B.2
-
10
-
-
0027961254
-
A methodology for equational reasoning
-
IEEE
-
Cleve, Jürgen and Hutter, Dieter: A methodology for equational reasoning, in HICSS-27, IEEE, 1994.
-
(1994)
HICSS-27
-
-
Cleve, J.1
Hutter, D.2
-
11
-
-
84910829499
-
Termination of rewriting
-
J.-P. Jouannaud (ed.), Academic Press
-
Dershowitz, Nachum: Termination of rewriting, in J.-P. Jouannaud (ed.), Rewriting Techniques and Applications, Academic Press, 1987, pp. 69-116.
-
(1987)
Rewriting Techniques and Applications
, pp. 69-116
-
-
Dershowitz, N.1
-
12
-
-
0001138255
-
Orderings for term-rewriting systems
-
March
-
Dershowitz, Nachum: Orderings for term-rewriting systems, Theor. Computer Science 17(3) (March 1982), 279-301.
-
(1982)
Theor. Computer Science
, vol.17
, Issue.3
, pp. 279-301
-
-
Dershowitz, N.1
-
14
-
-
84957676753
-
Guiding inductive proofs
-
M. E. Stickel (ed.), 10th Int. Conf. Automated Deduction, Springer-Verlag
-
Hutter, Dieter: Guiding inductive proofs, in M. E. Stickel (ed.), 10th Int. Conf. Automated Deduction, Lecture Notes in Artificial Intelligence 449, Springer-Verlag, 1990, pp. 147-161.
-
(1990)
Lecture Notes in Artificial Intelligence
, vol.449
, pp. 147-161
-
-
Hutter, D.1
-
15
-
-
0030100852
-
Productive use of failure in inductive proof
-
Ireland, Andrew and Bundy, Alan: Productive use of failure in inductive proof, J. Automated Reasoning 16(1-2) (1996), 79-111.
-
(1996)
J. Automated Reasoning
, vol.16
, Issue.1-2
, pp. 79-111
-
-
Ireland, A.1
Bundy, A.2
-
16
-
-
85029601479
-
The use of proof plans to sum series
-
D. Kapur (ed.), 11th Conf. Automated Deduction, Springer-Verlag
-
Walsh, Toby, Nunes, Alex and Bundy, Alan: The use of proof plans to sum series, in D. Kapur (ed.), 11th Conf. Automated Deduction, Lecture Notes in Computer Science 607, Springer-Verlag, 1992, pp. 325-339.
-
(1992)
Lecture Notes in Computer Science
, vol.607
, pp. 325-339
-
-
Walsh, T.1
Nunes, A.2
Bundy, A.3
-
17
-
-
33750030711
-
Coloured rippling: An extension of a theorem proving heuristic
-
Wiley, New York
-
Yoshida, Tetsuja, Bundy, Alan, Green, Ian, Walsh, Toby, and Basin, David: Coloured rippling: An extension of a theorem proving heuristic, in ECAI-94, Wiley, New York, 1994.
-
(1994)
ECAI-94
-
-
Yoshida, T.1
Bundy, A.2
Green, I.3
Walsh, T.4
Basin, D.5
|