Similar Items: A Rewriting View of Simple Typing
- Datalog Rewritings of Regular Path Queries using Views
- Dualized Simple Type Theory
- Analytic Tableaux for Simple Type Theory and its First-Order Fragment
- Thermodynamic graph-rewriting
- Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
- Complexity of Conditional Term Rewriting