Termination of string rewriting proved automatically

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

34 Citations (Scopus)

2 Downloads (Pure)

Original language	English
Pages (from-to)	105-139
Journal	Journal of Automated Reasoning
Volume	34
Issue number	2
DOIs	https://doi.org/10.1007/s10817-005-6545-0
Publication status	Published - 2005

Access to Document

@article{76cbc72a9ec742cf9aa93c190c4a34a1,

title = "Termination of string rewriting proved automatically",

author = "H. Zantema",

year = "2005",

doi = "10.1007/s10817-005-6545-0",

language = "English",

volume = "34",

pages = "105--139",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "2",

}