Kleene, Rabin, and Scott Are Available.

Jochen Hoenicke Roland Meyer Ernst-Rüdiger Olderog

Published in: CONCUR (2010)

Keyphrases

propositional logic
regular expressions
database
first order logic
expert systems
information extraction
natural language processing
belief revision
keywords
data analysis
business intelligence
relational data
xml schema