Pages that link to "Item:Q1935778"
From MaRDI portal
The following pages link to Synthesis of sup-interpretations: a survey (Q1935778):
Displaying 5 items.
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Derivational complexity and context-sensitive Rewriting (Q2069872) (← links)
- Characterizing polynomial time complexity of stream programs using interpretations (Q2346991) (← links)
- Analyzing the implicit computational complexity of object-oriented programs (Q3165969) (← links)