Deciding Entailments in Inductive Separation Logic with Tree Automata.
Radu IosifAdam RogalewiczTomás VojnarPublished in: ATVA (2014)
Keyphrases
- tree automata
- monadic second order logic
- regular expressions
- finite automata
- deductive reasoning
- finite state
- expressive power
- tree languages
- inductive logic programming
- syntactic pattern recognition
- machine learning
- databases
- context free grammars
- first order logic
- building blocks
- sufficient conditions
- expert systems
- finite automaton