Termination of canonical context-sensitive rewriting and productivity of rewrite systems.
Salvador LucasPublished in: PROLE (2015)
Keyphrases
- rewrite systems
- context sensitive
- active rules
- termination analysis
- term rewriting
- knuth bendix
- active databases
- rewrite rules
- language model
- multiple task learning
- integrity constraints
- theorem proving
- natural language
- information retrieval
- graph grammars
- object oriented databases
- deductive databases
- theorem prover
- software development
- knowledge base