Termination of context-sensitive rewriting

H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of the 8th Conference on Rewriting Techniques and Applications
EditorsH. Comon
Place of PublicationBerlin, Germany
PublisherSpringer
Pages172-186
Number of pages15
Publication statusPublished - 1997

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this