Termination of string rewriting proved automatically

Research output: Contribution to journalArticleAcademicpeer-review

27 Citations (Scopus)
2 Downloads (Pure)
Original languageEnglish
Pages (from-to)105-139
JournalJournal of Automated Reasoning
Volume34
Issue number2
DOIs
Publication statusPublished - 2005

Cite this