Pages that link to "Item:Q1917088"
From MaRDI portal
The following pages link to \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules (Q1917088):
Displaying 29 items.
- Unification for infinite sets of equations between finite terms (Q287056) (← links)
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- Some undecidable properties of SOS specifications (Q511941) (← links)
- Category theory for operational semantics (Q703525) (← links)
- A syntactic commutativity format for SOS (Q835035) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- On the expressibility of priority (Q975534) (← links)
- Semantics and expressiveness of ordered SOS (Q1012119) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- A conservative look at operational semantics with variable binding (Q1273877) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- An alternative formulation of operational conservativity with binding terms. (Q1400151) (← links)
- Language preorder as a precongruence (Q1575654) (← links)
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
- Bisimilarity of open terms. (Q1854331) (← links)
- The meaning of negative premises in transition system specifications. II (Q1878713) (← links)
- A format for semantic equivalence comparison (Q1884897) (← links)
- Rooted branching bisimulation as a congruence (Q1975965) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- Notions of bisimulation and congruence formats for SOS with data (Q2486401) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Structural operational semantics with first-order logic (Q2810690) (← links)
- Bialgebraic methods in structural operational semantics (invited talk) (Q2866314) (← links)
- On well-foundedness and expressiveness of promoted tyft (being promoted makes a difference) (Q2866315) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- Axiomatizations for the perpetual loop in process algebra (Q4571987) (← links)
- Variable binding operators in transition system specifications (Q5931555) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)