-
1
-
-
0019703552
-
Time and space complexity of inside-out macro languages
-
[Asveld, 1981]
-
[Asveld, 1981] Peter R. J. Asveld. Time and space complexity of inside-out macro languages. International Journal of Computer Mathematics, 10:3-14, 1981.
-
(1981)
International Journal of Computer Mathematics
, vol.10
, pp. 3-14
-
-
Asveld, P.R.J.1
-
2
-
-
84947297530
-
Hyper tableaux
-
[Baumgartner et al., 1996] José Júlio Alferes, Luís Moniz Pereira, and Ewa Orlowska, editors, LNAI 1126, Évora, Portugal, Springer, Berlin, Heidelberg, New York
-
[Baumgartner et al., 1996] Peter Baumgartner, Ulrich Furbach, and Ilkka Niemelä. Hyper tableaux. In José Júlio Alferes, Luís Moniz Pereira, and Ewa Orlowska, editors, Proceedings of the European Workshop on Logics in Artificial Intelligence, LNAI 1126, pages 1-17, Évora, Portugal, 1996. Springer, Berlin, Heidelberg, New York.
-
(1996)
Proceedings of the European Workshop on Logics in Artificial Intelligence
, pp. 1-17
-
-
Baumgartner, P.1
Furbach, U.2
Niemelä, I.3
-
3
-
-
84886243786
-
Hyper tableau - The next generation
-
[Baumgartner, 1998] Harrie de Swart, editor, LNAI 1397, Springer, Berlin, Heidelberg, New York
-
[Baumgartner, 1998] Peter Baumgartner. Hyper tableau - the next generation. In Harrie de Swart, editor, Proceedings of the 7th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1397, pages 60-76. Springer, Berlin, Heidelberg, New York, 1998.
-
(1998)
Proceedings of the 7th Workshop on Theorem Proving with Analytic Tableaux and Related Methods
, pp. 60-76
-
-
Baumgartner, P.1
-
4
-
-
85029594883
-
Cycle unification
-
[Bibel et al., 1992] Deepak Kapur, editor, LNAI 607, Saratoga Springs, New York, USA, June 15-18, Springer-Verlag
-
[Bibel et al., 1992] Wolfgang Bibel, Steffen Hölldobler, and Jörg Würtz. Cycle unification. In Deepak Kapur, editor, 11th International Conference on Automated Deduction, LNAI 607, pages 94-108, Saratoga Springs, New York, USA, June 15-18, 1992. Springer-Verlag.
-
(1992)
11th International Conference on Automated Deduction
, pp. 94-108
-
-
Bibel, W.1
Hölldobler, S.2
Würtz, J.3
-
5
-
-
33947140557
-
-
[Buchberger, 1997] Bruno Buchberger, editor. RISC-Linz Report 97-20, Hagenberg, Austria, RISC
-
[Buchberger, 1997] Bruno Buchberger, editor. Ist International Theorema Workshop, RISC-Linz Report 97-20, Hagenberg, Austria, 1997. RISC.
-
(1997)
Ist International Theorema Workshop
-
-
-
6
-
-
33947164036
-
-
[Bundy, 1994] Alan Bundy, editor. LNAI 814, Nancy, France, June 26-July 1, Springer-Verlag
-
[Bundy, 1994] Alan Bundy, editor. 12th International Conference on Automated Deduction, LNAI 814, Nancy, France, June 26-July 1, 1994. Springer-Verlag.
-
(1994)
12th International Conference on Automated Deduction
-
-
-
7
-
-
0031374659
-
A new technique for verifying and correcting logic programs
-
[Gaffera and Pettier, 1997]
-
[Gaffera and Pettier, 1997] Ricardo Caffera and Nicolas Pettier. A new technique for verifying and correcting logic programs. Journal of Automated Reasoning, 19(3) :277-318, 1997.
-
(1997)
Journal of Automated Reasoning
, vol.19
, Issue.3
, pp. 277-318
-
-
Caffera, R.1
Pettier, N.2
-
8
-
-
85002433929
-
A method for simultaneous search for refutations and models by equational constraint solving
-
[Caffera and Zabel, 1992]
-
[Caffera and Zabel, 1992] Ricardo Caffera and Nicolas Zabel. A method for simultaneous search for refutations and models by equational constraint solving. Journal of Symbolic Computation, 13:613-641, 1992.
-
(1992)
Journal of Symbolic Computation
, vol.13
, pp. 613-641
-
-
Caffera, R.1
Zabel, N.2
-
10
-
-
0002523251
-
On unification of terms with integer exponents
-
[Comon, 1995]
-
[Comon, 1995] Hubert Conion. On unification of terms with integer exponents. Mathematical Systems Theory, 28(1):67-88, 1995.
-
(1995)
Mathematical Systems Theory
, vol.28
, Issue.1
, pp. 67-88
-
-
Conion, H.1
-
11
-
-
0003631434
-
-
[Fitting, 1996] Texts and Monographs in Computer Science. Springer, Berlin, Heidelberg, New York, 2nd edition
-
[Fitting, 1996] Melvin Fitting. First-Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science. Springer, Berlin, Heidelberg, New York, 2nd edition, 1996.
-
(1996)
First-Order Logic and Automated Theorem Proving
-
-
Fitting, M.1
-
12
-
-
84867295007
-
-
[Furbach et al., 1998] Fachberichte Informatik 6/98, Universität Koblenz
-
[Furbach et al., 1998] Ulrich Furbach, Michael Kühn, and Frieder Stolzenburg. Modelguided proof debugging. Fachberichte Informatik 6/98, Universität Koblenz, 1998.
-
(1998)
Modelguided Proof Debugging
-
-
Furbach, U.1
Kühn, M.2
Stolzenburg, F.3
-
13
-
-
0004155526
-
-
[Graham et al., 1994] Addison-Wesley, Reading, MA, 2nd edition
-
[Graham et al., 1994] Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Concrete Mathematics. Addison-Wesley, Reading, MA, 2nd edition, 1994.
-
(1994)
Concrete Mathematics
-
-
Graham, R.L.1
Knuth, D.E.2
Patashnik, O.3
-
14
-
-
0012307668
-
Practical aspects of set-based analysis
-
[Heintze, 1992] Krzysztof R. Apt, editor, Cambridge, MA, London, MIT Press
-
[Heintze, 1992] Nevin Heintze. Practical aspects of set-based analysis. In Krzysztof R. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 765-779, Cambridge, MA, London, 1992. MIT Press.
-
(1992)
Proceedings of the Joint International Conference and Symposium on Logic Programming
, pp. 765-779
-
-
Heintze, N.1
-
15
-
-
0031119511
-
Unification of infinite sets of terms schematized by primal grammars
-
[Hermann and Galbavý, 1997]
-
[Hermann and Galbavý, 1997] Miki Hermann and Roman Galbavý. Unification of infinite sets of terms schematized by primal grammars. Theoretical Computer Science, 176:111-158, 1997.
-
(1997)
Theoretical Computer Science
, vol.176
, pp. 111-158
-
-
Hermann, M.1
Galbavý, R.2
-
16
-
-
0002692684
-
Solving equations in abstract algebras: A rule-based survey of unification
-
[Jouannaud and Kirchner, 1991] Jean-Louis Lassez and Gordon Plotkin, editors, MIT Press, Cambridge, MA, London
-
[Jouannaud and Kirchner, 1991] Jean-Pierre Jouannaud and Claude Kirchner. Solving equations in abstract algebras: A rule-based survey of unification. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic: Essays in Honor of Alan Robinson, pages 257-321. MIT Press, Cambridge, MA, London, 1991.
-
(1991)
Computational Logic: Essays in Honor of Alan Robinson
, pp. 257-321
-
-
Jouannaud, J.-P.1
Kirchner, C.2
-
17
-
-
23144432465
-
-
[Klingenbeck, 1997] DISKI 156. infix, Sankt Augustin, Dissertation
-
[Klingenbeck, 1997] Stefan Klingenbeck. Counter Examples in Semantic Tableaux. DISKI 156. infix, Sankt Augustin, 1997. Dissertation.
-
(1997)
Counter Examples in Semantic Tableaux
-
-
Klingenbeck, S.1
-
18
-
-
0028715389
-
Controlled integration of the cut rule into connection tableau calculi
-
[Letz et al., 1994]
-
[Letz et al., 1994] Reinhold Letz, Klaus Mayr, and Christian Goller. Controlled integration of the cut rule into connection tableau calculi. Journal of Automated Reasoning, 13:297-337, 1994.
-
(1994)
Journal of Automated Reasoning
, vol.13
, pp. 297-337
-
-
Letz, R.1
Mayr, K.2
Goller, C.3
-
19
-
-
0003453263
-
-
[Lloyd, 1987] Springer, Berlin, Heidelberg, New York
-
[Lloyd, 1987] John W. Lloyd. Foundations of Logic Programming. Springer, Berlin, Heidelberg, New York, 1987.
-
(1987)
Foundations of Logic Programming
-
-
Lloyd, J.W.1
-
20
-
-
85032870902
-
SATCHMO: A theorem prover implemented in Prolog
-
[Manthey and Bry, 1988] Ewing Lusk and Ross Overbeek, editors, LNCS 310, Argonne, IL
-
[Manthey and Bry, 1988] Rainer Manthey and François Bry. SATCHMO: a theorem prover implemented in Prolog. In Ewing Lusk and Ross Overbeek, editors, Proceedings of the 9th International Conference on Automated Deduction, LNCS 310, pages 415-434, Argonne, IL, 1988. Springer, Berlin, Heidelberg, New York.
-
(1988)
Proceedings of the 9th International Conference on Automated Deduction
, pp. 415-434
-
-
Manthey, R.1
Bry, F.2
-
21
-
-
0003503824
-
-
[Martin, 1996] Emily Martin, editor. Wolfram Media, Champaign, IL
-
[Martin, 1996] Emily Martin, editor. Mathematica 3.0 Standard Add-on Packages. Wolfram Media, Champaign, IL, 1996.
-
(1996)
Mathematica 3.0 Standard Add-on Packages
-
-
-
22
-
-
84958763737
-
Computational representations of Herbrand models using grammars
-
[Matzinger, 1997] Dirk van Dalen, editor, LNCS 1258, Springer, Berlin, Heidelberg, New York
-
[Matzinger, 1997] Robert Matzinger. Computational representations of Herbrand models using grammars. In Dirk van Dalen, editor, Proceedings of the Conference on Computer Science Logic 1996, LNCS 1258, pages 334-348. Springer, Berlin, Heidelberg, New York, 1997.
-
(1997)
Proceedings of the Conference on Computer Science Logic 1996
, pp. 334-348
-
-
Matzinger, R.1
-
23
-
-
0032094862
-
Elimination of self-resolving clauses
-
[Ohlbach, 1998]
-
[Ohlbach, 1998] Hans Jürgen Ohlbach. Elimination of self-resolving clauses. Journal of Automated Reasoning, 20:317-336, 1998.
-
(1998)
Journal of Automated Reasoning
, vol.20
, pp. 317-336
-
-
Ohlbach, H.J.1
-
24
-
-
0031190743
-
Increasing model building capabilities by constraint solving on terms with integer exponents
-
[Pettier, 1997a]
-
[Pettier, 1997a] Nicolas Pettier. Increasing model building capabilities by constraint solving on terms with integer exponents. Journal of Symbolic Computation, 24:59-101, 1997.
-
(1997)
Journal of Symbolic Computation
, vol.24
, pp. 59-101
-
-
Pettier, N.1
-
25
-
-
0031120731
-
Tree automata and automated model building
-
[Pettier, 1997b]
-
[Pettier, 1997b] Nicolas Pettier. Tree automata and automated model building. Fundamenta Informatica, 30:23-41, 1997.
-
(1997)
Fundamenta Informatica
, vol.30
, pp. 23-41
-
-
Pettier, N.1
-
26
-
-
85027611983
-
The unification of infinite sets of terms and its applications
-
[Salzer, 1992] Andrei Voronkov, editor, LNAI 624, Springer, Berlin, Heidelberg, New York
-
[Salzer, 1992] Gernot Salzer. The unification of infinite sets of terms and its applications. In Andrei Voronkov, editor, Proceedings of the 3rd International Conference on Logic Programming and Automated Reasoning, LNAI 624, pages 409-420. Springer, Berlin, Heidelberg, New York, 1992.
-
(1992)
Proceedings of the 3rd International Conference on Logic Programming and Automated Reasoning
, pp. 409-420
-
-
Salzer, G.1
-
29
-
-
84867324533
-
Unification of terms with integer exponents
-
[Socher-Ambrosius, 1993] Max-Planck-Institut für Informatik, Saarbrücken
-
[Socher-Ambrosius, 1993] Rolf Socher-Ambrosius. Unification of terms with integer exponents. Technical Report MPI-I-93-217, Max-Planck-Institut für Informatik, Saarbrücken, 1993.
-
(1993)
Technical Report MPI-I-93-217
-
-
Socher-Ambrosius, R.1
-
30
-
-
0004251247
-
-
[Wilf, 1990] Academic Press, San Diego, London
-
[Wilf, 1990] Herbert S. Wilf. generatingfunctionology. Academic Press, San Diego, London, 1990.
-
(1990)
Generatingfunctionology
-
-
Wilf, H.S.1
-
31
-
-
0004149831
-
-
[Wolfram, 1996] Wolfram Media, Champaign, IL, 3rd edition
-
[Wolfram, 1996] Stephen Wolfram. The Mathematica Book. Wolfram Media, Champaign, IL, 3rd edition, 1996.
-
(1996)
The Mathematica Book
-
-
Wolfram, S.1
|