Recursive program schemes
semantics and proof theory
Edición de la obra Recursive program schemes
| Autor | W.-P. de Roever |
|---|---|
| Editorial | Mathematisch Centrum |
| Fecha de publicación | 1976 |
| Lugar | Amsterdam |
| Idioma | inglés |
| Páginas | 112 |
| ISBN-10 | 9061961270 |
| OCLC | 2462715 |
| LCCN | 77363645 |
| Serie | Mathematical Centre tracts ; 70 · Mathematical Centre tracts ; · 70. |
| Número de Cutter | R719r |