Pages that link to "Item:Q4923534"
From MaRDI portal
The following pages link to Graph Operations, Graph Transformations and Monadic Second-Order Logic: (Q4923534):
Displaying 7 items.
- Non-deterministic transducer models of retransmission protocols over noisy channels (Q2346564) (← links)
- Graph operations and monadic second-order logic: A survey (Q2767003) (← links)
- Nondeterministic Streaming String Transducers (Q3012906) (← links)
- An economical transformation of graph grammars (Q3142266) (← links)
- Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications (Q3618564) (← links)
- Logic and graphs (Q4222789) (← links)
- Workshop on logic, graph transformations and discrete structures (Q4438805) (← links)