Login / Signup
A Simple Proof of the Undecidability of Strong Normalisation.
Pawel Urzyczyn
Published in:
Math. Struct. Comput. Sci. (2003)
Keyphrases
</>
description logics
real time
artificial intelligence
neural network