BibSonomy :: author :: Rewitzky ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(21)

<< < 1 | 2 > >>

Modelling Nondeterminism.
Clare E. Martin, Sharon A. Curtis, and Ingrid Rewitzky MPC, volume 3125 of Lecture Notes in Computer Science, page 228-251. Springer, (2004)
to dblp by dblp on Jul 7, 2011, 12:00 AM
URL | BibTeX
Binary Multirelations.
Ingrid Rewitzky Theory and Applications of Relational Structures as Knowledge Instruments, volume 2929 of Lecture Notes in Computer Science, page 256-271. Springer, (2003)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Finite-Cofinite Program Relations.
Chris Brink, and Ingrid Rewitzky Logic Journal of the IGPL 7(2):153-172 (1999)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Predicate Transformers as Power Operations.
Ingrid Rewitzky, and Chris Brink Formal Asp. Comput. 7(2):169-182 (1995)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Unification of Four Versions of Program Semantics.
Ingrid Rewitzky, and Chris Brink Formal Asp. Comput. 10(1):1-29 (1998)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Towards Reasoning about Hoare Relations.
Stéphane Demri, Ewa Orlowska, and Ingrid Rewitzky Ann. Math. Artif. Intell. 12(3-4):265-289 (1994)
to dblp by dblp on May 18, 2011, 12:00 AM
URL | BibTeX
Involutions on Relational Program Calculi.
Ingrid Rewitzky, and Jeff W. Sanders Sci. Ann. Comp. Sci. (2008)
to dblp by dblp on Feb 9, 2011, 12:00 AM
URL | BibTeX
Structures with Multirelations, their Discrete Dualities and Applications.
Ivo Düntsch, Ewa Orlowska, and Ingrid Rewitzky Fundam. Inform. 100(1-4):77-98 (2010)
to dblp by dblp on Aug 9, 2010, 12:00 AM
URL | BibTeX
Algebras for Galois-style connections and their discrete duality.
Ewa Orlowska, and Ingrid Rewitzky Fuzzy Sets and Systems 161(9):1325-1342 (2010)
to dblp by dblp on Jul 21, 2010, 3:44 PM
URL | BibTeX
Discrete Duality for Relation Algebras and Cylindric Algebras.
Ewa Orlowska, and Ingrid Rewitzky RelMiCS, volume 5827 of Lecture Notes in Computer Science, page 291-305. Springer, (2009)
to dblp by dblp on Nov 7, 2009, 12:00 AM
URL | BibTeX
Context Algebras, Context Frames, and Their Discrete Duality.
Ewa Orlowska, and Ingrid Rewitzky T. Rough Sets (2008)
to dblp by dblp on Mar 31, 2009, 12:00 AM
URL | BibTeX
Discrete Dualities for Heyting Algebras with Operators.
Ewa Orlowska, and Ingrid Rewitzky Fundam. Inform. 81(1-3):275-295 (2007)
to dblp by dblp on Aug 6, 2008, 12:00 AM
URL | BibTeX
Discrete Duality and Its Applications to Reasoning with Incomplete Information.
Ewa Orlowska, and Ingrid Rewitzky RSEISP, volume 4585 of Lecture Notes in Computer Science, page 51-56. Springer, (2007)
to dblp by dblp on Jul 24, 2007, 12:00 AM
URL | BibTeX
Modelling angelic and demonic nondeterminism with multirelations.
Clare E. Martin, Sharon A. Curtis, and Ingrid Rewitzky Sci. Comput. Program. 65(2):140-158 (2007)
to dblp by dblp on Mar 30, 2007, 12:00 AM
URL | BibTeX
Monotone Predicate Transformers as Up-Closed Multirelations.
Ingrid Rewitzky, and Chris Brink RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 311-327. Springer, (2006)
to dblp by dblp on Dec 18, 2006, 12:00 AM
URL | BibTeX
Relational Semantics Through Duality.
Ewa Orlowska, Ingrid Rewitzky, and Ivo Düntsch RelMiCS, volume 3929 of Lecture Notes in Computer Science, page 17-32. Springer, (2005)
to dblp by dblp on Dec 18, 2006, 12:00 AM
URL | BibTeX
Duality via Truth: Semantic frameworks for lattice-based logics.
Ewa Orlowska, and Ingrid Rewitzky Logic Journal of the IGPL 13(4):467-490 (2005)
to dblp by dblp on Mar 16, 2006, 12:00 AM
URL | BibTeX
Autodescriptivity: Beware!
Chris Brink, Ingrid Rewitzky, and Renate A. Schmidt Comput. J. 34(4):379-381 (1991)
to dblp by dblp on Nov 24, 2003, 12:00 AM
URL | BibTeX
Predicate Relators.
Chris Brink, and Ingrid Rewitzky RelMiCS, page 143-156. (1997)
to dblp by dblp on Jan 3, 2002, 12:00 AM
URL | BibTeX
Programs as binary multirelations.
Ingrid Rewitzky RelMiCS, page 257-272. (1997)
to dblp by dblp on Jan 3, 2002, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100