[Updated on Apr. 18] Integration of CiNii Articles into CiNii Research

Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)

Bibliographic Information

Title
Multi-context rewriting induction with termination checkers (Special Section on Formal Approach)
Author
Haruhiko Sato, Masahito Kurihara

Journal

Citations (0)*help

See more

References(0)*help

See more

Related Articles

See more

Related Data

See more

Related Books

See more

Related Dissertations

See more

Related Projects

See more

Related Products

See more

Details

  • CRID
    1010282257446062592
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top