Matrix Interpretations for Proving Termination of Term Rewriting

J. Endrullis, J. Waldmann, H. Zantema

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)574-588
JournalLecture Notes in Computer Science
Publication statusPublished - 2006

Bibliographical note

Proceedings title: Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR '06)
Publisher: Springer

Cite this