Unifying Recursion in Partial, Total and General Correctness release_53gkrg4x7zbw5pyhuw566tgkga

by Walter Guttmann

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2010   p207-225

Archived Files and Locations

application/pdf  190.8 kB
file_dj3hnyfb45eh5lhi24woqbqsai
www.csse.canterbury.ac.nz (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2010
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: a9a2789d-9ad8-4df7-b97f-da48ea2a9a2f
API URL: JSON