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

• 15:31, 4 February 2020 Bot talk contribs created page Publications/valais.20.seminar (Created page with "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2020 | number = 2011 | abstract = The Common Lisp language provides a pr...")
• 21:33, 30 January 2020 Bot talk contribs deleted page Publications/valais.20.seminar (content was: "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2020 | number = 2011 | abstract = The Commo...", and the only contributor was "Bot" (talk))
• 17:16, 27 January 2020 Bot talk contribs created page Publications/valais.20.seminar (Created page with "{{CSIReport | authors = Leo Valais | title = Implementing Baker's SUBTYPEP decision procedure | year = 2020 | number = 2011 | abstract = The Common Lisp language provides a pr...")