Many-Sorted Inferences in Automated Theorem Proving
暂无分享,去创建一个
[1] L. Wos,et al. Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving* , 1983 .
[2] Jörg H. Siekmann,et al. Universal Unification , 1982, GWAI.
[3] Jean-Pierre Jouannaud,et al. Operational Semantics for Order-Sorted Algebra , 1985, ICALP.
[4] Martin Huber,et al. Extended Prolog for Order-Sorted Resolution , 1987, SLP.
[5] François Fages,et al. Complete Sets of Unifiers and Matchers in Equational Theories , 1983, CAAP.
[6] Hassan Aït-Kaci,et al. LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..
[7] Alan M. Frisch. An investigation into inference with restricted quantification and a taxonomic representation , 1985, SGAR.
[8] Christoph Walther,et al. A Many-Sorted Calculus Based on Resolution and Paramodulation , 1982, IJCAI.
[9] L. Henschen. N-sorted logic for automatic theorem-proving in higher-order logic , 1972, ACM Annual Conference.
[10] Manfred Schmidt-Schauß. Unification in Many-Sorted Eqational Theories , 1986, CADE.
[11] A. J. Thomas,et al. FOL: A Proof Checker for First-order Logic , 1974 .
[12] Christoph Walther. A Classification of Many-Sorted Unification Problems , 1986, CADE.
[13] Dennis de Champeaux. A Theorem Prover Dating a Semantic Network , 1978, AISB/GI.
[14] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[15] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[16] Arnold Oberschelp. Untersuchungen zur mehrsortigen Quantorenlogik , 1962 .
[17] Herbert B. Enderton,et al. A mathematical introduction to logic , 1972 .
[18] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[19] Christoph Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.
[20] Manfred Schmidt-Schauß. A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation , 1985, IJCAI.