Search the dblp DataBase
Ingrid Rewitzky :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Chris Brink , Ingrid Rewitzky Predicate Relators. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:143-156 [Conf ] Ingrid Rewitzky Binary Multirelations. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:256-271 [Conf ] Ingrid Rewitzky Programs as binary multirelations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:257-272 [Conf ] Ingrid Rewitzky Duality and simulations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:170- [Conf ] Ingrid Rewitzky , Chris Brink Monotone Predicate Transformers as Up-Closed Multirelations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2006, pp:311-327 [Conf ] Ewa Orlowska , Ingrid Rewitzky , Ivo Düntsch Relational Semantics Through Duality. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:17-32 [Conf ] Clare E. Martin , Sharon A. Curtis , Ingrid Rewitzky Modelling Nondeterminism. [Citation Graph (0, 0)][DBLP ] MPC, 2004, pp:228-251 [Conf ] Stéphane Demri , Ewa Orlowska , Ingrid Rewitzky Towards Reasoning about Hoare Relations. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1994, v:12, n:3-4, pp:265-289 [Journal ] Chris Brink , Ingrid Rewitzky , Renate A. Schmidt Autodescriptivity: Beware! [Citation Graph (0, 0)][DBLP ] Comput. J., 1991, v:34, n:4, pp:379-381 [Journal ] Ingrid Rewitzky , Chris Brink Predicate Transformers as Power Operations. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1995, v:7, n:2, pp:169-182 [Journal ] Ingrid Rewitzky , Chris Brink Unification of Four Versions of Program Semantics. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1998, v:10, n:1, pp:1-29 [Journal ] Chris Brink , Ingrid Rewitzky Finite-Cofinite Program Relations. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1999, v:7, n:2, pp:153-172 [Journal ] Ewa Orlowska , Ingrid Rewitzky Duality via Truth: Semantic frameworks for lattice-based logics. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2005, v:13, n:4, pp:467-490 [Journal ] Clare E. Martin , Sharon A. Curtis , Ingrid Rewitzky Modelling angelic and demonic nondeterminism with multirelations. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 2007, v:65, n:2, pp:140-158 [Journal ] Ewa Orlowska , Ingrid Rewitzky Discrete Duality and Its Applications to Reasoning with Incomplete Information. [Citation Graph (0, 0)][DBLP ] RSEISP, 2007, pp:51-56 [Conf ] Discrete Duality for Relation Algebras and Cylindric Algebras. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs