Logical presentations of domains by Hulley, Hardy

Other Authors: “…Brink, Chris…”
Get full text

Algebraic terminological representation by Schmidt, Renate Anneliese

Other Authors: “…Brink, Chris…”
Get full text

Modelling the algebra of weakest preconditions by Rewitzky, Ingrid Moira

Other Authors: “…Brink, Chris…”
Get full text

A topological framework for program semantics by Rewitzky, Ingrid Moira

Other Authors: “…Brink, Chris…”
Get full text

Power constructs and propositional systems by Britz, Katarina

Other Authors: “…Brink, Chris…”
Get full text

Formulas of first-order logic in distributive normal form by Nelte, Karen

Other Authors: “…Brink, Chris…”
Get full text

Amalgamation in varieties of algebras by Jacobs, David Frank

Other Authors: “…Brink, Chris H…”
Get full text