Descendants of a recognizable tree language for prefix constrained linear monadic term rewriting with position cutting strategy.
Sándor VágvölgyiPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- term rewriting
- operational semantics
- tree structure
- theorem prover
- theorem proving
- data structure
- tree traversal
- rewrite systems
- prefix tree
- formal semantics
- programming language
- language learning
- knuth bendix
- deductive databases
- integrity constraints
- datalog programs
- software engineering
- data model
- databases
- angular velocity
- monadic second order logic
- database