The following pages link to (Q4027621):
Displaying 6 items.
- Automorphism groups of context-free graphs (Q671518) (← links)
- On the transition graphs of Turing machines. (Q1401268) (← links)
- On infinite transition graphs having a decidable monadic theory (Q1853615) (← links)
- Path constraints in semistructured data (Q2456353) (← links)
- Unary Resolution: Characterizing Ptime (Q2811353) (← links)
- Graphes canoniques de graphes algébriques (Q3479542) (← links)
