Woche: May 27, 16:30-18:00 (HS 14) | Seminar Formal Methods and Automated Reasoning II (SS 2025) | RISC

Abschnittsübersicht

Maximilian Donnermair

Liam Smithers
- Aktivität Fixpoint semantics in proximity based logic programming auswählen
  
  Fixpoint semantics in proximity based logic programming Datei PDF
- Aktivität A Tableau Prover for Natural Logic and Language auswählen
  
  A Tableau Prover for Natural Logic and Language Datei PDF