Pages that link to "Item:Q5430141"
From MaRDI portal
The following pages link to Behavioural reasoning for conditional equations (Q5430141):
Displayed 9 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- A coalgebraic perspective on logical interpretations (Q368477) (← links)
- Abstract valuation semantics (Q368484) (← links)
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Refinement by Interpretation in a General Setting (Q2994492) (← links)
- A Mathematical Life (Q4586411) (← links)
- A short overview of Hidden Logic (Q4586416) (← links)
- Boolean product representations of algebras via binary polynomials (Q4586422) (← links)
- Observational Refinement Process (Q5403465) (← links)