Termination of rewriting
Edición de la obra Termination of rewriting
| Autor | Nachum Dershowitz |
|---|---|
| Editorial | Dept. of Computer Science, University of Illinois at Urbana-Champaign |
| Fecha de publicación | 1985 |
| Lugar | Urbana, Ill. (1304 W. Springfield, Urbana 61801) |
| Idioma | inglés |
| Páginas | 58 |
| LCCN | 85622838 |
| Serie | Report / Department of Computer Science, University of Illinois at Urbana-Champaign ; · no. UIUCDCS-R-85-1220 · Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) ; |
| Número de Cutter | D438t |