The following pages link to Ingrid Rewitzky (Q969584):
Displaying 19 items.
- (Q870277) (redirect page) (← links)
- Modelling angelic and demonic nondeterminism with multirelations (Q870278) (← links)
- Algebras for Galois-style connections and their discrete duality (Q969585) (← links)
- Unification of four versions of program semantics (Q1271849) (← links)
- Three dual ontologies (Q1868336) (← links)
- Predicate transformers as power operations (Q1898816) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Book review of: J. Golińska-Pilarek (ed.) and M. Zawidzki (ed.), Ewa Orłowska on relational methods in logic and computer science (Q2021575) (← links)
- Structures with Multirelations, their Discrete Dualities and Applications (Q3065012) (← links)
- (Q3467535) (← links)
- Discrete Duality for Relation Algebras and Cylindric Algebras (Q3651523) (← links)
- Finite-cofinite program relations (Q4237678) (← links)
- Mathematics of Program Construction (Q5313088) (← links)
- (Q5445172) (← links)
- Monotone Predicate Transformers as Up-Closed Multirelations (Q5459190) (← links)
- Context Algebras, Context Frames, and Their Discrete Duality (Q5505447) (← links)
- Duality via Truth: Semantic frameworks for lattice-based logics (Q5703741) (← links)
- Relational Methods in Computer Science (Q5899304) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902058) (← links)