Non-structural subtype entailment in automata theory.

Joachim Niehren Tim Priesnitz

Published in: Inf. Comput. (2003)

Keyphrases

automata theory
graph theory
learning theory
student learning
logic programming
computer science
college level
learning algorithm
case study