Pages that link to "Item:Q553290"
From MaRDI portal
The following pages link to A classification of the expressive power of well-structured transition systems (Q553290):
Displaying 11 items.
- Ordinal recursive complexity of unordered data nets (Q529043) (← links)
- Decidability and complexity of Petri nets with unordered data (Q554219) (← links)
- Analysis of the structure of attributed transition systems without hidden transitions (Q681892) (← links)
- Ordinal theory for expressiveness of well-structured transition systems (Q1951597) (← links)
- Branch-well-structured transition systems and extensions (Q2165211) (← links)
- Petri nets with name creation for transient secure association (Q2510386) (← links)
- Complexity hierarchies beyond elementary (Q2828216) (← links)
- Well-quasi-ordering hereditarily finite sets (Q2855754) (← links)
- (Q5013882) (← links)
- (Q5367063) (← links)
- Branch-well-structured transition systems and extensions (Q6563059) (← links)