The following pages link to (Q4090505):
Displaying 7 items.
- Varieties of chain-complete algebras (Q1145208) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- (Q3208498) (← links)
- Primitive recursive algebraic theories and program schemes (Q4124981) (← links)
