Orderings for term-rewriting systems /
| Data(s) |
01/08/1979
|
|---|---|
| Resumo |
"Research supported in part under NSF grant MCS 77-22830." "UIUCDCS-R-79-987" Includes bibliographical references (p. 29-30). Mode of access: Internet. |
| Formato |
con |
| Identificador | |
| Idioma(s) |
eng |
| Publicador |
Urbana, Illinois : Dept. of Computer Science, University of Illinois at Urbana-Champaign, |
| Direitos |
Items in this record are available as Creative Commons Attribution-NonCommercial-ShareAlike. View access and use profile at http://www.hathitrust.org/access_use#cc-by-nc-sa-3.0. Please see individual items for rights and use statements. |
| Palavras-Chave | #Recursive functions. #Computer programs. |
| Tipo |
text |
