Encodability of Kleene's O.

Carl G. Jockusch Jr.Robert I. Soare

Published in: J. Symb. Log. (1973)

Keyphrases

propositional logic
regular expressions
pattern matching
machine learning
first order logic
artificial intelligence
natural language
data analysis
domain knowledge