Pages that link to "Item:Q4729376"
From MaRDI portal
The following pages link to Characterizations of the decidability of some problems for regular trace languages (Q4729376):
Displayed 11 items.
- On some decision problems for trace codings (Q672324) (← links)
- The submonoid and rational subset membership problems for graph groups. (Q947493) (← links)
- Probabilistic estimation of the number of prefixes of a trace (Q1184996) (← links)
- Rational relations and rational series (Q1194313) (← links)
- The code problem for traces -- improving the boundaries (Q1392032) (← links)
- On the support of graph Lie algebras (Q1605344) (← links)
- Model-checking of correctness conditions for concurrent objects (Q1854357) (← links)
- Solving word equations modulo partial commutations (Q1960424) (← links)
- RATIONAL SUBSETS IN HNN-EXTENSIONS AND AMALGAMATED PRODUCTS (Q3502750) (← links)
- WORD EQUATIONS OVER GRAPH PRODUCTS (Q3521473) (← links)
- Logical definability of some rational trace languages (Q4850330) (← links)