Constructive Aspects of the Omega-Rule: Application to Proof Systems in Computer Science and Algorithmic Logic.

Published in: MFCS (1989)

Keyphrases

computer science
complex systems
key technologies
management system
computer systems
lecture notes
rewrite systems
neural network
expert systems
classification rules
cognitive science
technical issues