Ingrid Rewitzky

Available identifiers

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
Dualities for structures of applied logics	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

This page was built for person: Ingrid Rewitzky