Ingrid Rewitzky

According to our database1, Ingrid Rewitzky authored at least 24 papers between 1991 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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. 502.
Stud Logica, 2021

2010
Structures with Multirelations, their Discrete Dualities and Applications.
Fundam. Informaticae, 2010

Algebras for Galois-style connections and their discrete duality.
Fuzzy Sets Syst., 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. Comput. Sci., 2008

2007
Modelling angelic and demonic nondeterminism with multirelations.
Sci. Comput. Program., 2007

Discrete Dualities for Heyting Algebras with Operators.
Fundam. Informaticae, 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.
Log. J. 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. Philos. Log., 2002

2001
A paradigm for program semantics - power structures and duality.
Studies in logic, language and information 17, CSLI Publications, ISBN: 978-1-57586-344-3, 2001

1999
Finite-Cofinite Program Relations.
Log. J. IGPL, 1999

1998
Unification of Four Versions of Program Semantics.
Formal Aspects 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 Aspects Comput., 1995

1994
Towards Reasoning about Hoare Relations.
Ann. Math. Artif. Intell., 1994

1991
Autodescriptivity: Beware!
Comput. J., 1991


  Loading...