On proving Ac-termination by AC-dependency pairs

    • Kusakari Keiichirou
    • School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku
    • Toyama Yoshihito
    • School of Information Science, Japan Advanced Institute of Science and Technology, Hokuriku

Journal

Research report   [List of Volumes]

Research report IS-RR-98-0026, 1-13, 1998-10-26  [Table of Contents]

Japan Advanced Institute of Science and Technology

Cited by:  1

You must have a user ID to see the cited references.If you already have a user ID, please click "Login" to access the info.New users can click "Sign Up" to register for an user ID.

Codes

  • NII Article ID (NAID) :
    110000570822
  • NII NACSIS-CAT ID (NCID) :
    AN10495756
  • Text Lang :
    ENG
  • Article Type :
    Other
  • ISSN :
    09187553
  • Databases :
    CJPref  NII-ELS 

Share