Deciding Entailments in Inductive Separation Logic with Tree Automata.
Radu IosifAdam RogalewiczTomás VojnarPublished in: CoRR (2014)
Keyphrases
- tree automata
- monadic second order logic
- finite automata
- regular expressions
- deductive reasoning
- finite state
- tree languages
- finite automaton
- syntactic pattern recognition
- inductive logic programming
- machine learning
- knowledge representation
- context free
- context free grammars
- expressive power
- matching algorithm
- knowledge acquisition
- databases