( en | de | ru )

 

Disambiguation of "Rewitzky, Ingrid"

Author of the publication

copydeleteadd this publication to your clipboard
A paradigm for program semantics - power structures and duality.

, and . Studies in logic, language and information CSLI Publications, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ingrid Lühr

Internationale Rechnungslegung für kleine und mittelgroße Unternehmen. Uni Hagen, (2009)

Ingrid Kutscher

Ingrid Stiller

Ingrid Schröter

Ingrid Skrzypczak

 

Other publications of authors with the same name

Programs as binary multirelations.. RelMiCS, page 257-272. (1997)Predicate Relators., and . RelMiCS, page 143-156. (1997)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, 109 (2): 443-445 (2021)Modelling angelic and demonic nondeterminism with multirelations., , and . Sci. Comput. Program., 65 (2): 140-158 (2007)A paradigm for program semantics - power structures and duality., and . Studies in logic, language and information CSLI Publications, (2001)Autodescriptivity: Beware!, , and . Comput. J., 34 (4): 379-381 (1991)Relational Semantics Through Duality., , and . RelMiCS, volume 3929 of Lecture Notes in Computer Science, page 17-32. Springer, (2005)Towards Reasoning about Hoare Relations., , and . Ann. Math. Artif. Intell., 12 (3-4): 265-289 (1994)Discrete Duality and Its Applications to Reasoning with Incomplete Information., and . RSEISP, volume 4585 of Lecture Notes in Computer Science, page 51-56. Springer, (2007)Duality via Truth: Semantic frameworks for lattice-based logics., and . Logic Journal of the IGPL, 13 (4): 467-490 (2005)