We use cookies to improve your experience with our site.
Chen Yiyun. Head Boundedness of Nonterminating Rewritings[J]. Journal of Computer Science and Technology, 1995, 10(3): 281-284.
Citation: Chen Yiyun. Head Boundedness of Nonterminating Rewritings[J]. Journal of Computer Science and Technology, 1995, 10(3): 281-284.

Head Boundedness of Nonterminating Rewritings

  • Further research about nonterminating rewritings is introduced. First, the previousdefinition of head boundedness is modified to exclude nonfair reduction sequences.A sufficient condition is then given to determine head boundedness of term rewritingsystems. The condition is then developed to a method to determine head boundednessof constructor systems.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return