Gastvortrag: Ordered Nominal Sets and Automata

Donnerstag, 07.12.2017, 11.00 Uhr

Ort: RWTH Aachen University, Informatikzentrum - Ahornstr. 55, Erweiterungsgebäude E3, Raum 9u10

 

Vortragender: Joshua Moerman, Radboud University Nijmegen, NL
 

Herr Moerman berichtet über seinen aktellen Stand in der Forschung zum Thema "nominale Sets" und Automaten. 

Die Arbeiten sind entstanden in Zusammenarbeit mit David Venhoek und Jurriaan Rot.

 

 

Weitere Informmationen unter Radboud University Nijmegen