메뉴 건너뛰기




Volumn 2378, Issue , 2002, Pages 24-50

Axiomatic rewriting theory VI: Residual theory revisited

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

EID: 84893451590     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45610-4_4     Document Type: Conference Paper
Times cited : (22)

References (48)
  • 1
    • 0000942205 scopus 로고
    • Theory ofbraids
    • E. Artin. Theory ofbraids. Annals of Mathematics. 48(1):101–126, 1947.
    • (1947) Annals of Mathematics , vol.48 , Issue.1 , pp. 101-126
    • Artin, E.1
  • 3
    • 84973944182 scopus 로고
    • Interaction Systems I: The theory ofoptimal reductions
    • A. Asperti, C. Laneve. Interaction Systems I: the theory ofoptimal reductions. In Mathematical Structures in Computer Science, Volume 4(4), pp. 457-504, 1995.
    • (1995) Mathematical Structures in Computer Science , vol.4 , Issue.4 , pp. 457-504
    • Asperti, A.1    Laneve, C.2
  • 5
    • 0001131295 scopus 로고    scopus 로고
    • A new approach to the word problem in the braid groups
    • J. Birman, K.H. Ko and S.J. Lee. A new approach to the word problem in the braid groups. Advances in Math. vol 139-2, pp. 322-353. 1998.
    • (1998) Advances in Math , vol.139-2 , pp. 322-353
    • Birman, J.1    Ko, K.H.2    Lee, S.J.3
  • 6
    • 0002907936 scopus 로고
    • Computational semantics ofterm rewriting systems
    • Maurice Nivat and John C. Reynolds (eds), Cambridge University Press
    • G. Boudol. Computational semantics ofterm rewriting systems. In Maurice Nivat and John C. Reynolds (eds), Algebraic methods in Semantics. Cambridge University Press, 1985.
    • (1985) Algebraic Methods in Semantics
    • Boudol, G.1
  • 7
    • 0004455697 scopus 로고    scopus 로고
    • Diagram Techniques for Confluence
    • March 15
    • M. Bezem, V. van Oostrom and J. W. Klop. Diagram Techniques for Confluence. Information and Computation, Volume 141, No. 2, pp. 172-204, March 15, 1998.
    • (1998) Information and Computation , vol.141 , Issue.2 , pp. 172-204
    • Bezem, M.1    Van Oostrom, V.2    Klop, J.W.3
  • 8
    • 0026152557 scopus 로고
    • An abstract framework for environment machines
    • May
    • P.-L. Curien. An abstract framework for environment machines. Theoretical Computer Science, 82(2):389-402, 31 May 1991.
    • (1991) Theoretical Computer Science , vol.82 , Issue.2 , pp. 389-402
    • Curien, P.-L.1
  • 10
    • 0008937074 scopus 로고    scopus 로고
    • On completeness ofw ord reversing
    • P. Dehornoy. On completeness ofw ord reversing. Discrete Math. 225 pp 93–119, 2000.
    • (2000) Discrete Math , vol.225 , pp. 93-119
    • Dehornoy, P.1
  • 16
    • 0000380214 scopus 로고
    • An abstract form of the Church-Rosser theorem
    • J.R. Hindley. An abstract form of the Church-Rosser theorem. Journal of Symbolic Logic, vol 34, 1969.
    • (1969) Journal of Symbolic Logic , vol.34
    • Hindley, J.R.1
  • 17
    • 84976811006 scopus 로고
    • Confluent reductions: Abstract properties and applications to term rewriting systems
    • G. Huet. Confluent reductions: abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797–821, 1980.
    • (1980) Journal of the ACM , vol.27 , Issue.4 , pp. 797-821
    • Huet, G.1
  • 18
    • 0003164539 scopus 로고
    • Computations in orthogonal rewriting systems
    • J.- L. Lassez and G. D. Plotkin, editors, MIT Press
    • G. Huet, J.-J. Lévy. Computations in orthogonal rewriting systems. In J.- L. Lassez and G. D. Plotkin, editors, Computational Logic; Essays in Honor of Alan Robinson, pages 394–443. MIT Press, 1991.
    • (1991) Computational Logic; Essays in Honor of Alan Robinson , pp. 394-443
    • Huet, G.1    Lévy, J.-J.2
  • 21
    • 0001834942 scopus 로고
    • Term Rewriting Systems
    • S. Abramsky, D. Gabbay, T. Maibaum, eds., Clarendon Press, Oxford
    • J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, T. Maibaum, eds. Handbook of Logic in Computer Science, vol. 2, pp. 2–117. Clarendon Press, Oxford, 1992.
    • (1992) Handbook of Logic in Computer Science , vol.2 , pp. 2-117
    • Klop, J.W.1
  • 24
    • 0002896422 scopus 로고
    • Simple word problems in universal algebras
    • J. Leech (ed), Pergamon Press, Oxford, 1970. Reprinted in Automation of Reasoning 2. Springer Verlag
    • D. E. Knuth, P.B. Bendix. Simple word problems in universal algebras. In J. Leech (ed) Computational Problems in Abstract Algebra. Pergamon Press, Oxford, 1970. Reprinted in Automation of Reasoning 2. Springer Verlag, 1983.
    • (1983) Computational Problems in Abstract Algebra
    • Knuth, D.E.1    Bendix, P.B.2
  • 27
    • 0002968794 scopus 로고
    • Optimal reductions in the lambda-calculus
    • J.P. Seldin and J.R. Hindley, editors, To H.B, Academic Press
    • J.-J. Lévy. Optimal reductions in the lambda-calculus. In J.P. Seldin and J.R. Hindley, editors, To H.B. Curry,essays on Combinatory Logic,L ambda Calculus, and Formalisms, pp. 159–191.Academic Press, 1980.
    • (1980) Curry,Essays on Combinatory Logic,L Ambda Calculus, and Formalisms , pp. 159-191
    • Lévy, J.-J.1
  • 28
    • 0010013580 scopus 로고    scopus 로고
    • Optimal Derivations inWeak Lambda-calculi and in Orthogonal Term Rewriting Systems
    • L. Maranget. Optimal Derivations inWeak Lambda-calculi and in Orthogonal Term Rewriting Systems. Proceedings POPL’91.
    • Proceedings POPL’91
    • Maranget, L.1
  • 35
    • 0002569005 scopus 로고    scopus 로고
    • Higher-Order Rewrite Systems and their Confluence
    • R. Mayr, T. Nipkow. Higher-Order Rewrite Systems and their Confluence. Theoretical Computer Science, 192:3-29, 1998.
    • (1998) Theoretical Computer Science , vol.192 , pp. 3-29
    • Mayr, R.1    Nipkow, T.2
  • 36
    • 0000187751 scopus 로고
    • On theories with a combinatorial definition of“equiv alence”
    • M. H. A. Newman. On theories with a combinatorial definition of“equiv alence”. Annals of Math. 43(2):223-243, 1942.
    • (1942) Annals of Math , vol.43 , Issue.2 , pp. 223-243
    • Newman, M.1
  • 39
    • 0028413138 scopus 로고
    • Confluence by decreasing diagrams
    • V. van Oostrom. Confluence by decreasing diagrams. Theoretical Computer Science, 121:259–280, 1994.
    • (1994) Theoretical Computer Science , vol.121 , pp. 259-280
    • Van Oostrom, V.1
  • 42
    • 0031096224 scopus 로고    scopus 로고
    • Developing developments
    • March 30
    • V. van Oostrom. Developing developments. Theoretical Computer Science, Volume 175, No. 1, pp. 159-181, March 30, 1997
    • (1997) Theoretical Computer Science , vol.175 , Issue.1 , pp. 159-181
    • Van Oostrom, V.1
  • 48
    • 0347268848 scopus 로고
    • Commutativity ofterm rewriting systems
    • K. Fuchi and L. Kott (eds), North-Holland
    • Y. Toyama. Commutativity ofterm rewriting systems. In K. Fuchi and L. Kott (eds) Programming of Future Generation Computer, vol II, pp. 393–407. North-Holland, 1988.
    • (1988) Programming of Future Generation Computer , vol.2 , pp. 393-407
    • Toyama, Y.1


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