Pages that link to "Item:Q844886"

The following pages link to Quasi-Boolean encodings and conditionals in algebraic specification (Q844886):

Displaying 3 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 hybridized institutions into first-order logic (Q5741578) (← links)