Transforming Outermost into Context-Sensitive Rewriting

J. Endrullis, R.D.A. Hendriks

Research output: Contribution to JournalArticleAcademicpeer-review

145 Downloads (Pure)
Original languageEnglish
JournalLogical Methods in Computer Science
Volume6
Issue number2
DOIs
Publication statusPublished - 2010

Cite this