Sufficient-completeness, ground-reducibility and their complexity
暂无分享,去创建一个
Daniel J. Rosenkrantz | Paliath Narendran | Deepak Kapur | Hantao Zhang | D. Kapur | P. Narendran | Hantao Zhang | D. Rosenkrantz
[1] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[2] Paliath Narendran,et al. Complexity of Sufficient-Completeness , 1986, FSTTCS.
[3] Deepak Kapur,et al. Proof by Consistency , 1987, Artif. Intell..
[4] Harry R. Lewis,et al. Complexity Results for Classes of Quantificational Formulas , 1980, J. Comput. Syst. Sci..
[5] David A. Plaisted,et al. Semantic Confluence Tests and Completion Methods , 1985, Inf. Control..
[6] Donald E. Knuth,et al. Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research. , 1970 .
[7] Jean-Jacques Thiel. Stop losing sleep over incomplete data type specifications , 1984, POPL '84.
[8] David S. Johnson,et al. Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .
[9] Emmanuel Kounalis,et al. Completeness in Data Type Specifications , 1985, European Conference on Computer Algebra.
[10] Mark E. Stickel,et al. Complete Sets of Reductions for Some Equational Theories , 1981, JACM.
[11] David R. Musser,et al. On proving inductive properties of abstract data types , 1980, POPL '80.
[12] Jean-Pierre Jouannaud,et al. Automatic Proofs by Induction in Theories without Constructors , 1989, Inf. Comput..
[13] Kim Marriott,et al. Explicit representation of terms defined by counter examples , 1986, Journal of Automated Reasoning.
[14] Paliath Narendran,et al. Proof by Induction Using Test Sets , 1986, CADE.
[15] Tobias Nipkow,et al. A decidability result about sufficient-completeness of axiomatically specified abstract data types , 1983, Theoretical Computer Science.
[16] Nachum Dershowitz,et al. Computing with Rewrite Systems , 1985, Inf. Control..
[17] Joseph A. Goguen,et al. How to Prove Algebraic Inductive Hypotheses Without Induction , 1980, CADE.
[18] Harry B. Hunt,et al. The Complexity of Monadic Recursion Schemes: Exponential Time Bounds , 1984, J. Comput. Syst. Sci..
[19] Ronald V. Book,et al. Confluent and Other Types of Thue Systems , 1982, JACM.
[20] Stephen A. Cook,et al. Characterizations of Pushdown Machines in Terms of Time-Bounded Computers , 1971, J. ACM.
[21] Paliath Narendran,et al. On sufficient-completeness and related properties of term rewriting systems , 1987, Acta Informatica.
[22] James J. Horning,et al. The algebraic specification of abstract data types , 1978, Acta Informatica.
[23] H. Comon. Sufficient Completness, Term Rewriting Systems and Anti-Unification , 1986 .
[24] David A. Plaisted. Complete Problems in the First-Order Predicate Calculus , 1984, J. Comput. Syst. Sci..
[25] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .
[26] G. Huet,et al. Equations and rewrite rules: a survey , 1980 .
[27] M. Minsky. Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing Machines , 1961 .
[28] Robert S. Boyer,et al. Computational Logic , 1990, ESPRIT Basic Research Series.
[29] Gérard P. Huet,et al. Proofs by Induction in Equational Theories with Constructors , 1980, FOCS.