Week: Tuesday, April 23, 16:30, S2 219 | Seminar Formal Methods and Automated Reasoning II (SS 2024) | RISC

Section outline

Maximilian Donnermair

Georg Ehling
- Select activity Properties of the Generalized Matching Algorithm
  
  Properties of the Generalized Matching Algorithm File PDF
- Select activity Solving Quantitative Equations
  
  Solving Quantitative Equations File PDF