Pages that link to "Item:Q3090829"
From MaRDI portal
The following pages link to An Automaton over Data Words That Captures EMSO Logic (Q3090829):
Displaying 6 items.
- Regular and context-free nominal traces (Q530218) (← links)
- Weighted register automata and weighted logic on data words (Q1786559) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Nominal Automata for Resource Usage Control (Q2914700) (← links)
- Weighted Register Automata and Weighted Logic on Data Words (Q3179411) (← links)
- A Note on C² Interpreted over Finite Data-Words (Q6060103) (← links)
