Orderings for term-rewriting systems
Edición de la obra Orderings for term-rewriting systems
| Autor | Nachum Dershowitz |
|---|---|
| Editorial | Dept. of Computer Science, University of Illinois at Urbana-Champaign |
| Fecha de publicación | 1979 |
| Lugar | Urbana, Illinois |
| Idioma | inglés |
| Páginas | 30 |
| OCLC | 840918428 |
| Serie | Report -- no. 987 · Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) -- no. 987. |
| Número de Cutter | D438o |