Pages that link to "Item:Q1951597"
From MaRDI portal
The following pages link to Ordinal theory for expressiveness of well-structured transition systems (Q1951597):
Displaying 5 items.
- A classification of the expressive power of well-structured transition systems (Q553290) (← links)
- A complete and consistent formal system for sortals (Q1591344) (← links)
- (Q4260382) (← links)
- Coverability, Termination, and Finiteness in Recursive Petri Nets (Q5025058) (← links)
- On the Expressivity of Optimality Theory versus Ordered Rewrite Rules (Q5327378) (← links)