Pages that link to "Item:Q844886"
From MaRDI portal
The following pages link to Quasi-Boolean encodings and conditionals in algebraic specification (Q844886):
Displaying 5 items.
- Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- Encoding nested Boolean functions as quantified Boolean formulas (Q2786912) (← links)
- Qualification Conditions in Semialgebraic Programming (Q4571881) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)