Termination of string rewriting proved automatically

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

34 Citaten (Scopus)

2 Downloads (Pure)

Originele taal-2	Engels
Pagina's (van-tot)	105-139
Tijdschrift	Journal of Automated Reasoning
Volume	34
Nummer van het tijdschrift	2
DOI's	https://doi.org/10.1007/s10817-005-6545-0
Status	Gepubliceerd - 2005

Toegang tot 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",

number = "2",

}