메뉴 건너뛰기




Volumn 18, Issue 2, 1996, Pages 261-293

Unification in sort theories and its applications

Author keywords

[No Author keywords available]

Indexed keywords


EID: 21444456437     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF02127750     Document Type: Article
Times cited : (8)

References (27)
  • 3
    • 85029633250 scopus 로고
    • Equality and disequality constraints on direct subterms in tree automata
    • LNCS, eds. A. Finkel and M. Jantzen Springer
    • B. Bogaert and S. Tison, Equality and disequality constraints on direct subterms in tree automata, in: Proc. of 9th Annual Symposium on Theoretical Aspects of Computer Science. STACS92, LNCS, Vol. 577, eds. A. Finkel and M. Jantzen (Springer, 1992) pp. 161-171.
    • (1992) Proc. of 9th Annual Symposium on Theoretical Aspects of Computer Science. STACS92 , vol.577 , pp. 161-171
    • Bogaert, B.1    Tison, S.2
  • 5
    • 0023366232 scopus 로고
    • A more expressive formulation of many sorted logic
    • A.G. Cohn. A more expressive formulation of many sorted logic, Journal of Automated Reasoning 3(2) (1987) 113-200.
    • (1987) Journal of Automated Reasoning , vol.3 , Issue.2 , pp. 113-200
    • Cohn, A.G.1
  • 7
    • 85030843045 scopus 로고
    • Inductive proofs by specification transformations
    • LNCS, Springer
    • H. Comon, Inductive proofs by specification transformations, in: Rewriting Techniques and Applications, RTA-89, LNCS, Vol. 355 (Springer, 1989) pp. 76-91.
    • (1989) Rewriting Techniques and Applications, RTA-89 , vol.355 , pp. 76-91
    • Comon, H.1
  • 8
    • 85031893693 scopus 로고
    • Equational formulas in order-sorted algebras
    • Springer
    • H. Comon, Equational formulas in order-sorted algebras, in: Proc. of ICALP (Springer, 1990) pp. 674-688.
    • (1990) Proc. of ICALP , pp. 674-688
    • Comon, H.1
  • 11
    • 0000029077 scopus 로고
    • Rewrite systems
    • Chapter 6, ed. J. van Leeuwen Elsevier Science Publishers
    • N. Dershowitz and J.-P. Jouannaud, Rewrite systems, in: Handbook of Theoretical Computer Science, Vol. B, Chapter 6, ed. J. van Leeuwen (Elsevier Science Publishers, 1990) pp. 243-320.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 243-320
    • Dershowitz, N.1    Jouannaud, J.-P.2
  • 12
    • 0021509216 scopus 로고
    • Linear-time algorithms for testing the satisfiability of propositional Horn formulae
    • W.F. Dowling and J.H. Gallier, Linear-time algorithms for testing the satisfiability of propositional Horn formulae, Journal of Logic Programming 1(3) (1984) 267-284.
    • (1984) Journal of Logic Programming , vol.1 , Issue.3 , pp. 267-284
    • Dowling, W.F.1    Gallier, J.H.2
  • 13
    • 0003631434 scopus 로고
    • Texts and Monographs in Computer Science Springer
    • M. Fitting, First-Order Logic. Texts and Monographs in Computer Science (Springer, 1990).
    • (1990) First-Order Logic
    • Fitting, M.1
  • 14
    • 0026151736 scopus 로고
    • The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
    • A.M. Frisch, The substitutional framework for sorted deduction: fundamental results on hybrid reasoning, Artificial Intelligence 49 (1991) 161-198.
    • (1991) Artificial Intelligence , vol.49 , pp. 161-198
    • Frisch, A.M.1
  • 16
    • 0027116146 scopus 로고
    • Order-sorted algebra, I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
    • J.A. Goguen and J. Meseguer, Order-sorted algebra, I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations, Theoretical Computer Science 105 (1992) 217-273.
    • (1992) Theoretical Computer Science , vol.105 , pp. 217-273
    • Goguen, J.A.1    Meseguer, J.2
  • 18
    • 0002692684 scopus 로고
    • Solving equations in abstract algebras: A rule-based survey of unification
    • Chapter 8, eds. J.L. Lassez and G. Plotkin MIT Press
    • J.-P. Jouannaud and C. Kirchner, Solving equations in abstract algebras: A rule-based survey of unification, in: Computational Logic, Essays in Honor of Alan Robinson. Chapter 8, eds. J.L. Lassez and G. Plotkin (MIT Press, 1991) pp. 257-321.
    • (1991) Computational Logic, Essays in Honor of Alan Robinson , pp. 257-321
    • Jouannaud, J.-P.1    Kirchner, C.2
  • 21
    • 26444556097 scopus 로고
    • Order-sorted unification
    • ed. C. Kirchner Academic Press
    • J. Meseguer, J.A. Goguen and G. Smolka, Order-sorted unification. in: Unification, ed. C. Kirchner (Academic Press, 1990) pp. 457-487.
    • (1990) Unification , pp. 457-487
    • Meseguer, J.1    Goguen, J.A.2    Smolka, G.3
  • 22
    • 0001323283 scopus 로고
    • Untersuchungen zur mehrsortigen Quantorenlogik
    • A. Oberschelp, Untersuchungen zur mehrsortigen Quantorenlogik, Mathematische Annalen 145 (1962) 297-333.
    • (1962) Mathematische Annalen , vol.145 , pp. 297-333
    • Oberschelp, A.1
  • 26
    • 84995193163 scopus 로고
    • An improved proof procedure
    • D. Prawitz, An improved proof procedure, Theoria 26 (1960) 102-139.
    • (1960) Theoria , vol.26 , pp. 102-139
    • Prawitz, D.1
  • 27
    • 84918983692 scopus 로고
    • A machine-oriented logic based on the resolution principle
    • J.A. Robinson, A machine-oriented logic based on the resolution principle, Journal of the ACM 12(1) (1965) 23-41.
    • (1965) Journal of the ACM , vol.12 , Issue.1 , pp. 23-41
    • Robinson, J.A.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.