The following pages link to (Q4475109):
Displayed 10 items.
- Higher-order interpretations and program complexity (Q276254) (← links)
- Quasi-interpretations. A way to control resources (Q541228) (← links)
- Automatic synthesis of logical models for order-sorted first-order theories (Q1655487) (← links)
- Resource control for synchronous cooperative threads (Q2503040) (← links)
- A Characterization of NC k by First Order Functional Programs (Q3502640) (← links)
- A lexicographic path order with slow growing derivation bounds (Q3619873) (← links)
- (Q5013812) (← links)
- (Q5014441) (← links)
- Reactive Concurrent Programming Revisited (Q5262951) (← links)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations (Q6118746) (← links)