Pages that link to "Item:Q3430663"
From MaRDI portal
The following pages link to Removing redundant arguments automatically (Q3430663):
Displaying 3 items.
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Analyzing program termination and complexity automatically with \textsf{AProVE} (Q2362493) (← links)
- Verifying Procedural Programs via Constrained Rewriting Induction (Q5278212) (← links)
