Ingrid Rewitzky

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Studia Logica	2021-04-27	Paper
Dualities for structures of applied logics	2016-02-02	Paper
Structures with multirelations, their discrete dualities and applications Fundamenta Informaticae	2011-01-03	Paper
Algebras for Galois-style connections and their discrete duality Fuzzy Sets and Systems	2010-05-07	Paper
Discrete duality for relation algebras and cylindric algebras Relations and Kleene Algebra in Computer Science	2009-12-11	Paper
Theory and Applications of Relational Structures as Knowledge Instruments Lecture Notes in Computer Science	2009-06-09	Paper
Context Algebras, Context Frames, and Their Discrete Duality Transactions on Rough Sets IX	2009-01-27	Paper
Monotone Predicate Transformers as Up-Closed Multirelations Relations and Kleene Algebra in Computer Science	2008-04-24	Paper
scientific article; zbMATH DE number 5241983 (Why is no real title available?)	2008-03-03	Paper
Relational Methods in Computer Science Lecture Notes in Computer Science	2007-05-02	Paper
Modelling angelic and demonic nondeterminism with multirelations Science of Computer Programming	2007-03-12	Paper
Duality via Truth: Semantic frameworks for lattice-based logics Logic Journal of the IGPL	2005-11-08	Paper
Mathematics of Program Construction Lecture Notes in Computer Science	2005-08-26	Paper
Three dual ontologies Journal of Philosophical Logic	2003-04-27	Paper
Finite-cofinite program relations Logic Journal of the IGPL	1999-12-13	Paper
Unification of four versions of program semantics Formal Aspects of Computing	1998-11-11	Paper
Towards reasoning about Hoare relations Annals of Mathematics and Artificial Intelligence	1997-03-25	Paper
Predicate transformers as power operations Formal Aspects of Computing	1995-09-25	Paper

Research outcomes over time

This page was built for person: Ingrid Rewitzky