# Ingrid Rewitzky

According to our database

Collaborative distances:

^{1}, Ingrid Rewitzky authored at least 22 papers between 1991 and 2010.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2010

Structures with Multirelations, their Discrete Dualities and Applications.

Fundam. Inform., 2010

Algebras for Galois-style connections and their discrete duality.

Fuzzy Sets and Systems, 2010

2009

Discrete Duality for Relation Algebras and Cylindric Algebras.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Context Algebras, Context Frames, and Their Discrete Duality.

Trans. Rough Sets, 2008

Involutions on Relational Program Calculi.

Sci. Ann. Comp. Sci., 2008

2007

Modelling angelic and demonic nondeterminism with multirelations.

Sci. Comput. Program., 2007

Discrete Dualities for Heyting Algebras with Operators.

Fundam. Inform., 2007

Discrete Duality and Its Applications to Reasoning with Incomplete Information.

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

2006

Monotone Predicate Transformers as Up-Closed Multirelations.

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Duality via Truth: Semantic frameworks for lattice-based logics.

Logic Journal of the IGPL, 2005

Relational Semantics Through Duality.

Proceedings of the Relational Methods in Computer Science, 2005

2004

Modelling Nondeterminism.

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2003

Binary Multirelations.

Proceedings of the Theory and Applications of Relational Structures as Knowledge Instruments, 2003

2002

Three Dual Ontologies.

J. Philosophical Logic, 2002

1999

Finite-Cofinite Program Relations.

Logic Journal of the IGPL, 1999

1998

Unification of Four Versions of Program Semantics.

Formal Asp. Comput., 1998

Duality and simulations.

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Programs as binary multirelations.

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Predicate Relators.

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1995

Predicate Transformers as Power Operations.

Formal Asp. Comput., 1995

1994

Towards Reasoning about Hoare Relations.

Ann. Math. Artif. Intell., 1994

1991

Autodescriptivity: Beware!

Comput. J., 1991