22 Απρ 2018

Διάλεξη του καθηγ. Makoto Tatsuta (National Institute of Informatics, Japan)

Διάλεξη του καθηγ. Makoto Tatsuta (National Institute of Informatics, Japan) στο Τμήμα Πληροφορικής ΑΠΘ με θέμα:

 

Brotherston's Conjecture: Equivalence of Inductive Definitions & Cyclic Proofs

 

τη Δευτέρα 23.04.2018 στις 5.00 μμ στην αίθουσα Η6 (πρώην B)