메뉴 건너뛰기




Volumn 2850, Issue , 2003, Pages 167-182

Improving dependency Pairs

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; HEURISTIC METHODS; THEOREM PROVING;

EID: 9444259855     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-39813-4_11     Document Type: Conference Paper
Times cited : (26)

References (27)
  • 1
    • 84937426338 scopus 로고    scopus 로고
    • System description: The dependency pair method
    • T. Arts. System description: The dependency pair method. In Proc. 11th RTA, LNCS 1833, pages 261-264, 2000.
    • (2000) Proc. 11th RTA LNCS , vol.1833 , pp. 261-264
    • Arts, T.1
  • 2
    • 0001193616 scopus 로고    scopus 로고
    • Termination of term rewriting using dependency pairs
    • T. Arts and J. Giesl. Termination of term rewriting using dependency pairs. Theoretical Computer Science, 236:133-178, 2000.
    • (2000) Theoretical Computer Science , vol.236 , pp. 133-178
    • Arts, T.1    Giesl, J.2
  • 3
    • 0004096113 scopus 로고    scopus 로고
    • A collection of examples for termination of term rewriting using dependency pairs
    • RWTH Aachen
    • T. Arts and J. Giesl. A collection of examples for termination of term rewriting using dependency pairs. Technical Report AIB-2001-093, RWTH Aachen, 2001.
    • (2001) Technical Report AIB-2001-093
    • Arts, T.1    Giesl, J.2
  • 7
    • 84910829499 scopus 로고
    • Termination of rewriting
    • N. Dershowitz. Termination of rewriting. J. Symbolic Comp., 3:69-116, 1987.
    • (1987) J. Symbolic Comp , vol.3 , pp. 69-116
    • Dershowitz, N.1
  • 10
    • 0036992306 scopus 로고    scopus 로고
    • Cariboo: An induction based proof tool for termination with strategies
    • ACM
    • O. Fissore, I. Gnaedig, and H. Kirchner. Cariboo: An induction based proof tool for termination with strategies. In Proc. 4th PPDP, pages 62-73. ACM, 2002.
    • (2002) Proc. 4th PPDP , pp. 62-73
    • Fissore, O.1    Gnaedig, I.2    Kirchner, H.3
  • 12
    • 0036657874 scopus 로고    scopus 로고
    • Modular termination proofs for rewriting using dependency pairs
    • J. Giesl, T. Arts, and E. Ohlebusch. Modular termination proofs for rewriting using dependency pairs. Journal of Symbolic Computation, 34(1):21-58, 2002.
    • (2002) Journal of Symbolic Computation , vol.34 , Issue.1 , pp. 21-58
    • Giesl, J.1    Arts, T.2    Ohlebusch, E.3
  • 14
    • 84957692033 scopus 로고    scopus 로고
    • On proving termination by innermost termination
    • B. Gramlich. On proving termination by innermost termination. In Proc. 7th RTA, LNCS 1103, pages 97-107, 1996.
    • (1996) Proc. 7th RTA, LNCS 1103 , pp. 97-107
    • Gramlich, B.1
  • 17
    • 0000673198 scopus 로고
    • Proofs by induction in equational theories with constructors
    • G. Huet and J.-M. Hullot. Proofs by induction in equational theories with constructors. Journal of Computer and System Sciences, 25:239-299, 1982.
    • (1982) Journal of Computer and System Sciences , vol.25 , pp. 239-299
    • Huet, G.1    Hullot, J.-M.2
  • 19
    • 0035030203 scopus 로고    scopus 로고
    • The size-change principle for program termination
    • C. S. Lee, N. D. Jones, and A. M. Ben-Amram. The size-change principle for program termination. In Proc. POPL '01, pages 81-92, 2001.
    • (2001) Proc. POPL ' 01 , pp. 81-92
    • Lee, C.S.1    Jones, N.D.2    Ben-Amram, A.M.3
  • 20
    • 84867766788 scopus 로고    scopus 로고
    • Approximating dependency graphs using tree automata techniques
    • A. Middeldorp. Approximating dependency graphs using tree automata techniques. In Proc. IJCAR 2001, LNAI 2083, pages 593-610, 2001.
    • (2001) Proc. IJCAR 2001, LNAI 2083 , pp. 593-610
    • Middeldorp, A.1
  • 21
    • 0037202497 scopus 로고    scopus 로고
    • Hierarchical termination revisited
    • E. Ohlebusch. Hierarchical termination revisited. IPL, 84(4):207-214, 2002.
    • (2002) IPL , vol.84 , Issue.4 , pp. 207-214
    • Ohlebusch, E.1
  • 22
    • 84937438740 scopus 로고    scopus 로고
    • TALP: A tool for the termination analysis of logic programs
    • E. Ohlebusch, C. Claves, and C. Marché. TALP: A tool for the termination analysis of logic programs. In Proc. 11th RTA, LNCS 1833, pages 270-273, 2000.
    • (2000) Proc. 11th RTA, LNCS 1833 , pp. 270-273
    • Ohlebusch, E.1    Claves, C.2    Marché, C.3
  • 23
    • 84955560074 scopus 로고
    • Automatic termination proofs with transformation orderings
    • Full version appeared as Technical Report SR-92-23, Universität Kaiserslautern, Germany
    • J. Steinbach. Automatic termination proofs with transformation orderings. In Proc. 6th RTA, LNCS 914, pages 11-25, 1995. Full version appeared as Technical Report SR-92-23, Universität Kaiserslautern, Germany.
    • (1995) Proc. 6th RTA, LNCS 914 , pp. 11-25
    • Steinbach, J.1
  • 24
    • 0029369584 scopus 로고
    • Simplification orderings: History of results
    • J. Steinbach. Simplification orderings: History of results. Fund. I., 24:47-87, 1995.
    • (1995) Fund. i , vol.24 , pp. 47-87
    • Steinbach, J.1
  • 25
    • 84947778039 scopus 로고    scopus 로고
    • Size-change termination for term rewriting
    • R. Thiemann and J. Giesl. Size-change termination for term rewriting. In Proc. 14th RTA, LNCS 2706, pages 264-278, 2003.
    • (2003) Proc. 14th RTA, LNCS 2706 , pp. 264-278
    • Thiemann, R.1    Giesl, J.2
  • 26
    • 0023345304 scopus 로고
    • Counterexamples to the termination for the direct sum of term rewriting systems
    • Y. Toyama. Counterexamples to the termination for the direct sum of term rewriting systems. Information Processing Letters, 25:141-143, 1987.
    • (1987) Information Processing Letters , vol.25 , pp. 141-143
    • Toyama, Y.1
  • 27
    • 84867764644 scopus 로고    scopus 로고
    • Automated incremental termination proofs for hierarchically defined term rewriting systems
    • X. Urbain. Automated incremental termination proofs for hierarchically defined term rewriting systems. In Proc. IJCAR 2001, LNAI 2083, pages 485-498, 2001.
    • (2001) Proc. IJCAR 2001, LNAI 2083 , pp. 485-498
    • Urbain, X.1


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