Login / Signup
Cut elimination for impredicative infinitary systems. Part II ordinal analysis for iterated inductive definitions.
Wolfram Pohlers
Published in:
Arch. Math. Log. (1980)
Keyphrases
</>
probabilistic model
knowledge base
high level
logic programming