Rigid E -Unification and, Its Applications to Equational Matings
暂无分享,去创建一个
[1] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.
[2] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .
[3] Gérard P. Huet,et al. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems , 1980, J. ACM.
[4] Dexter Kozen. Communication: Positive First-Order Logic is NP-Complete , 1981, IBM J. Res. Dev..
[5] Greg Nelson,et al. Fast Decision Procedures Based on Congruence Closure , 1980, JACM.
[6] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[7] Robert E. Tarjan,et al. Variations on the Common Subexpression Problem , 1980, J. ACM.
[8] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..
[9] Mike Paterson,et al. Linear unification , 1976, STOC '76.
[10] Peter B. Andrews. Theorem Proving via General Matings , 1981, JACM.
[11] Wolfgang Bibel. Tautology Testing with a Generalized Matrix Reduction Method , 1979, Theor. Comput. Sci..
[12] Dexter Kozen,et al. Complexity of finitely presented algebras , 1977, STOC '77.
[13] Wolfgang Bibel. On Matrices with Connections , 1981, JACM.
[14] Leo Bachmair. Proof methods for equational theories , 1987 .
[15] Nachum Dershowitz,et al. Termination of Rewriting , 1987, J. Symb. Comput..
[16] Paliath Narendran,et al. Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time , 1988, CADE.
[17] G. Huet,et al. Equations and rewrite rules: a survey , 1980 .
[18] Wayne Snyder,et al. Theorem Proving Using Rigid E-Unification Equational Matings , 1987, LICS.