Originele taal-2 | Engels |
---|---|
Pagina's (van-tot) | 43-60 |
Tijdschrift | Journal of Symbolic Computation |
Volume | 20 |
Nummer van het tijdschrift | 1 |
DOI's | |
Status | Gepubliceerd - 1995 |
Total termination of term rewriting is undecidable
Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
12
Citaten
(Scopus)