Knuth-Bendix Algorithm and It's Applications.

5 Citations

Bibliographic Information

Other Title
  • Knuth-Bendix の完備化手続きとその応用

Search this article

Journal

Citations (5)*help

See more

Details 詳細情報について

  • CRID
    1574231877116863360
  • NII Article ID
    110003743432
  • NII Book ID
    AN10075819
  • ISSN
    02896540
  • Text Lang
    ja
  • Data Source
    • CiNii Articles

Report a problem

Back to top