Login / Signup
Semi-Continuous Sized Types and Termination.
Andreas Abel
Published in:
Log. Methods Comput. Sci. (2008)
Keyphrases
</>
artificial intelligence
database
information retrieval
database systems
computational complexity
continuous functions