The following pages link to Equational type logic (Q752689):
Displaying 13 items.
- Location equivalence in a parametric setting (Q672708) (← links)
- On the implementation of concurrent calculi in net calculi: two case studies (Q673785) (← links)
- Universal axioms for bisimulations (Q685411) (← links)
- Specification styles in distributed systems design and verification (Q1177943) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Dynamically-typed computations for order-sorted equational presentations (Q4632447) (← links)
- R n - and G n -logics (Q4645806) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)
- Axiomatizing permutation equivalence (Q4715673) (← links)
- Interpolation and compactness in categories of pre-institutions (Q4715675) (← links)
- Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras (Q4856660) (← links)
- Exception handling and term labelling (Q5044752) (← links)
