Tree-Like Grammars and Separation Logic.
Christoph MathejaChristina JansenThomas NollPublished in: APLAS (2015)
Keyphrases
- tree grammars
- tree structure
- natural language
- visual languages
- index structure
- spanning tree
- tree nodes
- tree models
- tree construction
- formal language
- parse selection
- data structure
- proof theory
- predicate logic
- classical logic
- binary tree
- logical framework
- tree structures
- automated reasoning
- context free grammars
- modal logic
- logic programming
- logic programs
- relational databases