Head boundedness of nonterminating rewritings

DOI10.1007/BF02943496zbMath0837.68053OpenAlexW2091205433MaRDI QIDQ1894332

Yi-Yun Chen

Publication date: 24 July 1995

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943496

zbMATH Keywords

term rewriting systemsconstructor systemshead boundedness

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Head boundedness of nonterminating rewritings

Uses Software

• Haskell
• Miranda

Cites Work

• Unnamed Item
• Unnamed Item
• Termination of rewriting
• Rewrite, rewrite, rewrite, rewrite, rewrite, \dots
• Head boundedness of nonterminating rewritings

This page was built for publication: Head boundedness of nonterminating rewritings