Pages that link to "Item:Q1903081"
From MaRDI portal
The following pages link to Syntactic codes and grammar refinement (Q1903081):
Displaying 12 items.
- The emergence of compositional grammars in artificial codes (Q523490) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- Towards reasoning about Petri nets: a propositional dynamic logic based approach (Q1786561) (← links)
- The grammar of code switching (Q2255235) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Syntactic structures and code parameters (Q2364907) (← links)
- Propositional Dynamic Logic for Petri Nets with Iteration (Q3179415) (← links)
- The Complexity of Satisfiability for Fragments of Hybrid Logic—Part I (Q3182957) (← links)
- PDL with intersection of programs: a complete axiomatization (Q3643256) (← links)
- PDL for ordered trees (Q3647225) (← links)
- Model Theoretic Syntax and Parsing (Q4923571) (← links)
- A proof system for finite trees (Q6560163) (← links)