Login / Signup
On the Computability of Relations on λ-Terms and Rice's Theorem - The Case of the Expansion Problem for Explicit Substitutions.
Edward Hermann Haeusler
Mauricio Ayala-Rincón
Published in:
LATIN (2014)
Keyphrases
</>
real time
co occurrence
machine learning
background knowledge
knowledge base
temporal relations
data sets
neural network
image processing
case study
natural language
special case
fuzzy relations