Towards an algebraic theory of recursion. (English) Zbl 0799.68062
MSC:
68P15 | Database theory |
68N17 | Logic programming |
03D20 | Recursive functions and relations, subrecursive hierarchies |
68P20 | Information storage and retrieval of data |
68P15 | Database theory |
68N17 | Logic programming |
03D20 | Recursive functions and relations, subrecursive hierarchies |
68P20 | Information storage and retrieval of data |