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).

• 17:59, 9 January 2018 Bot talk contribs deleted page Publications/abecassis.10.seminar (content was: "{{CSIReport | authors = Felix Abecassis | title = Minimization of automata representing obligation formulae | year = 2010 | number = 1004 | abstract = Model checking is a..." (and the only contributor was "Bot"))