Ingrid Rewitzky

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 1

Top Topics

Predicate Logic

Relational Data

Computer Scientists

Top Venues

Publications

Ingrid Rewitzky
Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic, Vol. 17 2018, pp. 502. Stud Logica 109 (2) (2021)
Ewa Orlowska, Ingrid Rewitzky
Algebras for Galois-style connections and their discrete duality. Fuzzy Sets Syst. 161 (9) (2010)
Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky
Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Informaticae 100 (1-4) (2010)
Ewa Orlowska, Ingrid Rewitzky
Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS (2009)
Ewa Orlowska, Ingrid Rewitzky
Context Algebras, Context Frames, and Their Discrete Duality. Trans. Rough Sets 9 (2008)
Ingrid Rewitzky, Jeff W. Sanders
Involutions on Relational Program Calculi. Sci. Ann. Comput. Sci. 18 (2008)
Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
Modelling angelic and demonic nondeterminism with multirelations. Sci. Comput. Program. 65 (2) (2007)
Ewa Orlowska, Ingrid Rewitzky
Discrete Dualities for Heyting Algebras with Operators. Fundam. Informaticae 81 (1-3) (2007)
Ewa Orlowska, Ingrid Rewitzky
Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP (2007)
Ingrid Rewitzky, Chris Brink
Monotone Predicate Transformers as Up-Closed Multirelations. RelMiCS (2006)
Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch
Relational Semantics Through Duality. RelMiCS (2005)
Ewa Orlowska, Ingrid Rewitzky
Duality via Truth: Semantic frameworks for lattice-based logics. Log. J. IGPL 13 (4) (2005)
Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
Modelling Nondeterminism. MPC (2004)
Chris Brink, Ingrid Rewitzky
Three Dual Ontologies. J. Philos. Log. 31 (6) (2002)
Chris Brink, Ingrid Rewitzky
Finite-Cofinite Program Relations. Log. J. IGPL 7 (2) (1999)
Ingrid Rewitzky, Chris Brink
Unification of Four Versions of Program Semantics. Formal Aspects Comput. 10 (1) (1998)
Ingrid Rewitzky
Duality and simulations. RelMiCS (1998)
Chris Brink, Ingrid Rewitzky
Predicate Relators. RelMiCS (1997)
Ingrid Rewitzky
Programs as binary multirelations. RelMiCS (1997)
Ingrid Rewitzky, Chris Brink
Predicate Transformers as Power Operations. Formal Aspects Comput. 7 (2) (1995)
Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky
Towards Reasoning about Hoare Relations. Ann. Math. Artif. Intell. 12 (3-4) (1994)
Chris Brink, Ingrid Rewitzky, Renate A. Schmidt
Autodescriptivity: Beware! Comput. J. 34 (4) (1991)