Finite, simple generating systems for partial recursive functions.

Sándor Horváth

Published in: Bull. EATCS (1986)

Keyphrases

recursive functions
inductive inference
information retrieval
expert systems
management system
distributed systems
real time
artificial intelligence
search engine
e learning
database systems
computer systems