Pages that link to "Item:Q2893298"
From MaRDI portal
The following pages link to A note on the logical definability of rational trace languages (Q2893298):
Displaying 7 items.
- Logical definability on infinite traces (Q672860) (← links)
- On bounded rational trace languages (Q970110) (← links)
- A note on pure and \(p\)-pure languages (Q1424361) (← links)
- A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness (Q2842102) (← links)
- CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages (Q3564886) (← links)
- (Q4281552) (← links)
- Generalized rational relations and their logical definability (Q5055929) (← links)