All public logs

Combined display of all available logs of LRDE. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 19:23, 20 July 2021 Bot talk contribs created page Publications/dubois.21.seminar (Created page with "{{CSIReport | authors = Jérôme Dubois | title = Fast simulation based reduction for ω-automaton | year = 2021 | number = 2123 | abstract = The <math>\omega</math>-automata,...")