Pages that link to "Item:Q4060429"
From MaRDI portal
The following pages link to The basic algebraic structures in categories of derivations (Q4060429):
Displaying 18 items.
- A sheaf-theoretic approach to pattern matching and related problems (Q685382) (← links)
- Petri nets are monoids (Q922720) (← links)
- An algebraic structure for derivations in rewriting systems (Q1111012) (← links)
- Finite generation of ambiguity in context-free languages (Q1117043) (← links)
- Morphismes et bimorphismes d'arbres (Q1165018) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- A categorical critical-pair completion algorithm (Q1300576) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Recognizability of graph and pattern languages (Q2491214) (← links)
- Categorical and topological aspects of formal languages (Q3926056) (← links)
- Enumerating syntactical graphs and lattices of derivations (Q3959452) (← links)
- (Q3994022) (← links)
- (Q4164847) (← links)
- Concatenation of graphs (Q4645288) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- A categorical formulation for critical-pair/completion procedures (Q5881196) (← links)
