Ingrid Rewitzky - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2021

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. 502Ingrid Rewitzky. sLogica, 109(2):443-445, 2021. [doi]

2010

Structures with Multirelations, their Discrete Dualities and ApplicationsIvo Düntsch, Ewa Orlowska, Ingrid Rewitzky. FUIN, 100(1-4):77-98, 2010. [doi]

Algebras for Galois-style connections and their discrete dualityEwa Orlowska, Ingrid Rewitzky. fss, 161(9):1325-1342, 2010. [doi]

2009

Discrete Duality for Relation Algebras and Cylindric AlgebrasEwa Orlowska, Ingrid Rewitzky. RelMiCS 2009: 291-305 [doi]

2008

Context Algebras, Context Frames, and Their Discrete DualityEwa Orlowska, Ingrid Rewitzky. trs, 9:212-229, 2008. [doi]

Involutions on Relational Program CalculiIngrid Rewitzky, Jeff W. Sanders. cuza, 18:129-171, 2008. [doi]

2007

Modelling angelic and demonic nondeterminism with multirelationsClare E. Martin, Sharon A. Curtis, Ingrid Rewitzky. SCP, 65(2):140-158, 2007. [doi]

Discrete Dualities for Heyting Algebras with OperatorsEwa Orlowska, Ingrid Rewitzky. FUIN, 81(1-3):275-295, 2007. [doi]

Discrete Duality and Its Applications to Reasoning with Incomplete InformationEwa Orlowska, Ingrid Rewitzky. rseisp 2007: 51-56 [doi]

2006

Monotone Predicate Transformers as Up-Closed MultirelationsIngrid Rewitzky, Chris Brink. RelMiCS 2006: 311-327 [doi]

2005

Duality via Truth: Semantic frameworks for lattice-based logicsEwa Orlowska, Ingrid Rewitzky. igpl, 13(4):467-490, 2005. [doi]

Relational Semantics Through DualityEwa Orlowska, Ingrid Rewitzky, Ivo Düntsch. RelMiCS 2006: 17-32 [doi]

2004

Modelling NondeterminismClare E. Martin, Sharon A. Curtis, Ingrid Rewitzky. mpc 2004: 228-251 [doi]

2003

Binary MultirelationsIngrid Rewitzky. RelMiCS 2003: 256-271 [doi]

2002

Three Dual OntologiesChris Brink, Ingrid Rewitzky. jphil, 31(6):543-568, 2002. [doi]

2001

A paradigm for program semantics - power structures and dualityChris Brink, Ingrid Rewitzky. Volume 17 of Studies in logic, language and information, CSLI Publications, 2001.

1999

Finite-Cofinite Program RelationsChris Brink, Ingrid Rewitzky. igpl, 7(2):153-172, 1999. [doi]

1998

Unification of Four Versions of Program SemanticsIngrid Rewitzky, Chris Brink. fac, 10(1):1-29, 1998.

Duality and simulationsIngrid Rewitzky. RelMiCS 1998: 170

1997

Predicate RelatorsChris Brink, Ingrid Rewitzky. RelMiCS 1997: 143-156

Programs as binary multirelationsIngrid Rewitzky. RelMiCS 1997: 257-272

1995

Predicate Transformers as Power OperationsIngrid Rewitzky, Chris Brink. fac, 7(2):169-182, 1995.

1994

Towards Reasoning about Hoare RelationsStéphane Demri, Ewa Orlowska, Ingrid Rewitzky. AMAI, 12(3-4):265-289, 1994.

1991

Autodescriptivity: Beware!Chris Brink, Ingrid Rewitzky, Renate A. Schmidt. cj, 34(4):379-381, 1991.

Sign in or sign up to see more results.

runs on WebDSL