Article,

Head boundedness of nonterminating rewritings.

.
J. Comput. Sci. Technol., 10 (3): 281-284 (1995)

Meta data

Tags

Users

  • @dblp

Comments and Reviews