Pages that link to "Item:Q835035"
From MaRDI portal
The following pages link to A syntactic commutativity format for SOS (Q835035):
Displaying 8 items.
- Rule formats for determinism and idempotence (Q433348) (← links)
- SOS rule formats for zero and unit elements (Q549170) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Rule formats for distributivity (Q1758150) (← links)
- SOS rule formats for idempotent terms and idempotent unary operators (Q2436519) (← links)
- Proving the validity of equations in GSOS languages using rule-matching bisimilarity (Q2883120) (← links)
- On Rule Formats for Zero and Unit Elements (Q3178250) (← links)
- A Rule Format for Associativity (Q3541037) (← links)
