The SCEAS System
| |||||||

## 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.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |