More Comparative Schematology
Schemas are programs in which some of the function symbols are un-interpreted. In this paper we compare classed of schemas in which various kinds of constraints are imposed on some of the function symbols. Among the classes of schemas compared are program, recursive, hierarchical and parallel.
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/5849 |
| _version_ | 1826196483999793152 |
|---|---|
| author | Hewitt, Carl E. |
| author_facet | Hewitt, Carl E. |
| author_sort | Hewitt, Carl E. |
| collection | MIT |
| description | Schemas are programs in which some of the function symbols are un-interpreted. In this paper we compare classed of schemas in which various kinds of constraints are imposed on some of the function symbols. Among the classes of schemas compared are program, recursive, hierarchical and parallel. |
| first_indexed | 2024-09-23T10:27:15Z |
| id | mit-1721.1/5849 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T10:27:15Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/58492019-04-12T08:28:05Z More Comparative Schematology Hewitt, Carl E. Schemas are programs in which some of the function symbols are un-interpreted. In this paper we compare classed of schemas in which various kinds of constraints are imposed on some of the function symbols. Among the classes of schemas compared are program, recursive, hierarchical and parallel. 2004-10-01T20:49:32Z 2004-10-01T20:49:32Z 1970-08-01 AIM-207 http://hdl.handle.net/1721.1/5849 en_US AIM-207 56 p. 20557460 bytes 1190721 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Hewitt, Carl E. More Comparative Schematology |
| title | More Comparative Schematology |
| title_full | More Comparative Schematology |
| title_fullStr | More Comparative Schematology |
| title_full_unstemmed | More Comparative Schematology |
| title_short | More Comparative Schematology |
| title_sort | more comparative schematology |
| url | http://hdl.handle.net/1721.1/5849 |
| work_keys_str_mv | AT hewittcarle morecomparativeschematology |