Pages that link to "Item:Q2819822"
From MaRDI portal
The following pages link to Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests (Q2819822):
Displaying 6 items.
- Almost event-rate independent monitoring (Q2008287) (← links)
- Completeness and incompleteness in nominal Kleene algebra (Q2401017) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- Verified decision procedures for MSO on words based on derivatives of regular expressions (Q5371957) (← links)
- (Q5875403) (← links)
