Skip to main navigation Skip to search Skip to main content

A generic complete dynamic logic for reasoning about purity and effects

  • Till Mossakowski*
  • , Lutz Schröder
  • , Sergey Goncharov
    • *Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'A generic complete dynamic logic for reasoning about purity and effects'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science

Mathematics