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

Section outline

Paul-Gabriel Turcuman

Wolfgang Schreiner
- Select activity Approximate Unification with Fuzzy Relations: A Survey
  
  Approximate Unification with Fuzzy Relations: A Survey File PDF
- Select activity The RISCTP Software: Combining Multiple Proving Strategies
  
  The RISCTP Software: Combining Multiple Proving Strategies File PDF
- Select activity Seminar Video
  
  Seminar Video URL