Elementary formal systems as a framework for relative recursion theory.
Bruce M. HorowitzPublished in: Notre Dame J. Formal Log. (1982)
Keyphrases
- theoretical framework
- formal methods
- formal model
- conceptual framework
- mathematical theory
- mathematical foundations
- intelligent systems
- computer vision
- probabilistic model
- knowledge based systems
- main contribution
- complex systems
- retrieval systems
- design theory
- topics covered include
- fundamental principles
- databases
- general theory
- logical framework
- theoretical foundation
- computational model
- software engineering
- neural network