Ingrid Rewitzky

Available identifiers

zbMath Open rewitzky.ingridMaRDI QIDQ969584

List of research outcomes

Publication	Date of Publication	Type
Book review of: J. Golińska-Pilarek (ed.) and M. Zawidzki (ed.), Ewa Orłowska on relational methods in logic and computer science	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q3467535	2016-02-02	Paper
Structures with Multirelations, their Discrete Dualities and Applications	2011-01-03	Paper
Algebras for Galois-style connections and their discrete duality	2010-05-07	Paper
Discrete Duality for Relation Algebras and Cylindric Algebras	2009-12-11	Paper
Theory and Applications of Relational Structures as Knowledge Instruments	2009-06-09	Paper
Context Algebras, Context Frames, and Their Discrete Duality	2009-01-27	Paper
Monotone Predicate Transformers as Up-Closed Multirelations	2008-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q5445172	2008-03-03	Paper
Relational Methods in Computer Science	2007-05-02	Paper
Modelling angelic and demonic nondeterminism with multirelations	2007-03-12	Paper
Duality via Truth: Semantic frameworks for lattice-based logics	2005-11-08	Paper
Mathematics of Program Construction	2005-08-26	Paper
Three dual ontologies	2003-04-27	Paper
Finite-cofinite program relations	1999-12-13	Paper
Unification of four versions of program semantics	1998-11-11	Paper
Towards reasoning about Hoare relations	1997-03-25	Paper
Predicate transformers as power operations	1995-09-25	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ingrid Rewitzky