Matrix Interpretations for Proving Termination of Term Rewriting

J. Endrullis, J. Waldmann, H. Zantema

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	574-588
Journal	Lecture Notes in Computer Science
Volume	4130
Publication status	Published - 2006

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

Persistent URL (handle)

@article{e18c12e6429d486ca52b6ba89672322e,

title = "Matrix Interpretations for Proving Termination of Term Rewriting",

author = "J. Endrullis and J. Waldmann and H. Zantema",

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

year = "2006",

language = "English",

volume = "4130",

pages = "574--588",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Matrix Interpretations for Proving Termination of Term Rewriting

AU - Endrullis, J.

AU - Waldmann, J.

AU - Zantema, H.

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

PY - 2006

Y1 - 2006

M3 - Article

SN - 0302-9743

VL - 4130

SP - 574

EP - 588

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -