메뉴 건너뛰기




Volumn 3249, Issue , 2004, Pages 185-198

Polynomial Interpretations with Negative Coefficients

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

EID: 35048902099     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30210-0_16     Document Type: Article
Times cited : (25)

References (24)
  • 1
    • 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
  • 2
    • 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-09, RWTH Aachen, 2001.
    • (2001) Technical Report AIB-2001-09
    • Arts, T.1    Giesl, J.2
  • 4
    • 0023437488 scopus 로고
    • Termination of rewriting systems by polynomial interpretations and its implementation
    • A. Ben Cherifa and P. Lescanne. Termination of rewriting systems by polynomial interpretations and its implementation. Science of Computer Programming, 9:137159, 1987.
    • (1987) Science of Computer Programming , vol.9 , pp. 137159
    • Ben Cherifa, A.1    Lescanne, P.2
  • 9
    • 84955582635 scopus 로고
    • Generating polynomial orderings for termination proofs
    • J. Giesl. Generating polynomial orderings for termination proofs. In Proc. 6th RTA, volume 914 of LNCS, pages 426-431, 1995.
    • (1995) Proc. 6th RTA, Volume 914 of LNCS , vol.914 , pp. 426-431
    • Giesl, J.1
  • 10
    • 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(l):21-58, 2002.
    • (2002) Journal of Symbolic Computation , vol.34 , Issue.50 , pp. 21-58
    • Giesl, J.1    Arts, T.2    Ohlebusch, E.3
  • 16
    • 0003916809 scopus 로고
    • On proving term rewriting systems are Noetherian
    • Louisiana Technical University, Ruston, LA, USA
    • D. Lankford. On proving term rewriting systems are Noetherian. Technical Report MTP-3, Louisiana Technical University, Ruston, LA, USA, 1979.
    • (1979) Technical Report MTP-3
    • Lankford, D.1
  • 17
    • 21144439397 scopus 로고    scopus 로고
    • Polynomials for proving termination of context-sensitive rewriting
    • S. Lucas. Polynomials for proving termination of context-sensitive rewriting. In Proc. 7th FoSSaCS, volume 2987 of LNCS, pages 318-332, 2004.
    • (2004) Proc. 7th FoSSaCS, Volume 2987 of LNCS , vol.2987 , pp. 318-332
    • Lucas, S.1
  • 20
    • 0344637479 scopus 로고
    • Check your ordering - Termination proofs and open problems
    • Universität Kaiserslautern
    • J. Steinbach and U. Kühler. Check your ordering - termination proofs and open problems. Technical Report SR-90-25, Universität Kaiserslautern, 1990.
    • (1990) Technical Report SR-90-25
    • Steinbach, J.1    Kühler, U.2
  • 23
    • 3042682298 scopus 로고    scopus 로고
    • Modular & incremental automated termination proofs
    • To appear.
    • X. Urbain. Modular & incremental automated termination proofs. Journal of Automated Reasoning, 2004. To appear.
    • (2004) Journal of Automated Reasoning
    • Urbain, X.1
  • 24
    • 0002204834 scopus 로고
    • Termination of term rewriting by semantic labelling
    • H. Zantema. Termination of term rewriting by semantic labelling. Fundamenta Informaticae, 24:89-105, 1995.
    • (1995) Fundamenta Informaticae , vol.24 , pp. 89-105
    • Zantema, H.1


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