메뉴 건너뛰기




Volumn 4130 LNAI, Issue , 2006, Pages 332-346

Automation of recursive path ordering for infinite labelled rewrite systems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; AUTOMATION; NUMBER THEORY; RECURSIVE FUNCTIONS; SET THEORY; SYSTEMS ANALYSIS;

EID: 33749598319     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11814771_30     Document Type: Conference Paper
Times cited : (7)

References (14)
  • 1
    • 84941154230 scopus 로고    scopus 로고
    • The termination competition. http://www.lri.fr/~maurche/termination- competition.
  • 3
    • 0023437488 scopus 로고
    • Termination of rewriting systems by polynomial interpretations and its implementation
    • A. B. Cherifa and P. Lescanne. Termination of rewriting systems by polynomial interpretations and its implementation. Sci. Comput. Program., 9(2):137-159, 1987.
    • (1987) Sci. Comput. Program. , vol.9 , Issue.2 , pp. 137-159
    • Cherifa, A.B.1    Lescanne, P.2
  • 4
    • 84969361200 scopus 로고
    • Strong normalization of substitutions
    • Ivan M. Havel and Václav Koubek, editors, MFCS, Springer
    • P.-L. Curien, T. Hardin, and A. Ríos. Strong normalization of substitutions. In Ivan M. Havel and Václav Koubek, editors, MFCS, volume 629 of Lecture Notes in Computer Science, pages 209-217. Springer, 1992.
    • (1992) Lecture Notes in Computer Science , vol.629 , pp. 209-217
    • Curien, P.-L.1    Hardin, T.2    Ríos, A.3
  • 5
    • 0001138255 scopus 로고
    • Orderings for term-rewriting systems
    • N. Dershowitz. Orderings for term-rewriting systems. Theor. Comput. Sci., 17:279-301, 1982.
    • (1982) Theor. Comput. Sci. , vol.17 , pp. 279-301
    • Dershowitz, N.1
  • 6
    • 35048887144 scopus 로고    scopus 로고
    • Automated termination proofs with AProVE
    • Vincent van Oostrom, editor, RTA, Springer
    • J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke. Automated termination proofs with AProVE. In Vincent van Oostrom, editor, RTA, volume 3091 of Lecture Notes in Computer Science, pages 210-220. Springer, 2004.
    • (2004) Lecture Notes in Computer Science , vol.3091 , pp. 210-220
    • Giesl, J.1    Thiemann, R.2    Schneider-Kamp, P.3    Falke, S.4
  • 7
    • 0022913962 scopus 로고
    • Proof of termination of the rewriting system SUBST on CCL
    • T. Hardin and A. Laville. Proof of termination of the rewriting system SUBST on CCL. Theor. Comput. Sci., 46(2-3):305-312, 1986.
    • (1986) Theor. Comput. Sci. , vol.46 , Issue.2-3 , pp. 305-312
    • Hardin, T.1    Laville, A.2
  • 9
    • 0032143325 scopus 로고    scopus 로고
    • Testing Positiveness of Polynomials
    • H. Hong and D. Jakus. Testing Positiveness of Polynomials. J. Autom. Reasoning, 21(1): 23-38, 1998
    • (1998) J. Autom. Reasoning , vol.21 , Issue.1 , pp. 23-38
    • Hong, H.1    Jakus, D.2
  • 11
    • 33749595328 scopus 로고    scopus 로고
    • Recursive path ordering for infinite labelled rewrite systems
    • Eindhoven Univ. of Tech., April
    • A. Koprowski and H. Zantema. Recursive Path Ordering for Infinite Labelled Rewrite Systems. Technical Report CS-Report 06-17, Eindhoven Univ. of Tech., April 2006.
    • (2006) Technical Report CS-report , vol.17
    • Koprowski, A.1    Zantema, H.2
  • 12
    • 0002204834 scopus 로고
    • Termination of term rewriting by semantic labelling
    • H. Zantema. Termination of term rewriting by semantic labelling. Fundamenta Informaticae, 24(1/2):89-105, 1995.
    • (1995) Fundamenta Informaticae , vol.24 , Issue.1-2 , pp. 89-105
    • Zantema, H.1
  • 13
    • 18944374600 scopus 로고    scopus 로고
    • Term Rewriting Systems
    • chapter 6, Cambridge University Press
    • H. Zantema. Term Rewriting Systems. Volume 55 of Cambridge Tracts in TCS, chapter 6, pages 181-259. Cambridge University Press, 2003.
    • (2003) Cambridge Tracts in TCS , vol.55 , pp. 181-259
    • Zantema, H.1
  • 14
    • 33749619433 scopus 로고    scopus 로고
    • TORPA: Termination of rewriting proved automatically
    • Vincent van Oostrom, editor, RTA
    • H. Zantema. TORPA: Termination of rewriting proved automatically. In Vincent van Oostrom, editor, RTA, volume 3091 of Lecture Notes in Computer Science, pages 95-104, 2004.
    • (2004) Lecture Notes in Computer Science , vol.3091 , pp. 95-104
    • Zantema, H.1


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