EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

ws18:fmsoft [2019/01/14 16:00]
tadeusz [Slides]
ws18:fmsoft [2019/01/18 21:22] (current)
tadeusz [Slides]
Line 24: Line 24:
   * {{:ws18:fmsoft:fmsoft_dec18handout.pdf|Beginning denotational semantics (18 Dec, handout version)}}   * {{:ws18:fmsoft:fmsoft_dec18handout.pdf|Beginning denotational semantics (18 Dec, handout version)}}
   * {{:ws18:fmsoft:fmsoft_jan8post.pdf|Kleene Theorem and denotational semantics of loops (Jan 8)}}   * {{:ws18:fmsoft:fmsoft_jan8post.pdf|Kleene Theorem and denotational semantics of loops (Jan 8)}}
 +  * {{:ws18:fmsoft:fmsoft_jan15post.pdf|Weakest liberal preconditions and relative completeness (Jan 15)}}