The following pages link to Automated Deduction – CADE-19 (Q5900706):
Displaying 4 items.
- Equational approximations for tree automata completion (Q968530) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Hierarchical Design Rewriting with Maude (Q5179129) (← links)
- Equational Abstractions for Reducing the State Space of Rewrite Theories (Q5179134) (← links)