Login / Signup
Membership for 1-Limited ET0L Languages Is Not Decidable.
Henning Fernau
Published in:
J. Inf. Process. Cybern. (1994)
Keyphrases
</>
expressive power
language independent
first order logic
transitive closure
databases
information retrieval
artificial intelligence
learning algorithm
case study
special case
cross lingual
description languages
fuzzy membership