A Case Study of Completion Modulo Distributivity and Abelian Groups
暂无分享,去创建一个
[1] Deepak Kapur,et al. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems , 1991, Computational Logic - Essays in Honor of Alan Robinson.
[2] Rick L. Stevens,et al. Challenge Problems from Nonassociative Rings for Theorem Provers , 1988, CADE.
[3] M. R. K. Krishna Rao. Completeness of Hierarchical Combinations of term Rewriting Systems , 1993, FSTTCS.
[4] Simon J. Thompson. Laws in Miranda , 1986, LFP '86.
[5] Hantao Zhang,et al. Herky: High Performance Rewriting in RRL , 1992, CADE.
[6] Tie-Cheng Wang,et al. Elements of Z-Module Reasoning , 1988, CADE.
[7] Jieh Hsiang,et al. SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion , 1989, RTA.
[8] Mark E. Stickel,et al. Complete Sets of Reductions for Some Equational Theories , 1981, JACM.
[9] Philip Wadler,et al. Views: a way for pattern matching to cohabit with data abstraction , 1987, POPL '87.
[10] Jean-Pierre Jouannaud,et al. Rewrite Systems , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[11] F. Warren Burton,et al. Pattern Matching with Abstract Data Types , 1993, J. Funct. Program..
[12] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[13] Paliath Narendran,et al. Complexity of Matching Problems , 1987, J. Symb. Comput..
[14] Hélène Kirchner,et al. Completion of a Set of Rules Modulo a Set of Equations , 1986, SIAM J. Comput..
[15] Simon J. Thompson,et al. Lawful Functions and Program Verification in Miranda , 1990, Sci. Comput. Program..
[16] Philippe le Chenadec. Canonical forms in finitely presented algebras , 1984, Research notes in theoretical computer science.
[17] I. G. BONNER CLAPPISON. Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.