Boolean Unification - The Story So Far
暂无分享,去创建一个
[1] Wolfram Büttner,et al. Embedding Boolean Expressions into Logic Programming , 1987, J. Symb. Comput..
[2] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[3] Jean-Pierre Jouannaud,et al. Unification in free extensions of Boolean rings and Abelian groups , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[4] Jeffrey Scott Vitter,et al. New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P , 1986, IEEE Transactions on Computers.
[5] Katherine A. Yelick,et al. Unification in Combinations of Collapse-Free Regular Theories , 1987, J. Symb. Comput..
[6] M. Stone. The theory of representations for Boolean algebras , 1936 .
[7] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[8] Pierre Lescanne. REVE: A Rewrite Rule Laboratory , 1987, STACS.
[9] S BoyerRoger,et al. Ttle sharing of structure in theorem proving programs , 1972 .
[10] Jörg H. Siekmann,et al. Universal Unification , 1982, GWAI.
[11] M. Stone,et al. The Theory of Representation for Boolean Algebras , 1936 .
[12] Alexander Herold. Combination of Unification Algorithms , 1986, CADE.
[13] Erik Tidén. Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols , 1986, CADE.
[14] Tobias Nipkow,et al. Unification in primal algebras, their powers and their varieties , 1990, JACM.
[15] Jieh Hsiang,et al. Refutational Theorem Proving Using Term-Rewriting Systems , 1985, Artif. Intell..
[16] Manfred Schmidt-Schauß. Unification in a Combination of Arbitrary Disjoint Equational Theories , 1988, CADE.
[17] Sergiu Rudeanu. Boolean functions and equations , 1974 .
[18] Allen Van Gelder,et al. A Satisfiability Tester for Non-clausal Propositional Calculus , 1984, Inf. Comput..
[19] Tobias Nipkow. Unification in Primal Algebras , 1988, CAAP.
[20] Wolfram Büttner,et al. Unification in Finite Algebras is Unitary (?) , 1988, CADE.
[21] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.