Recent changes
From International Center for Computational Logic
Track the most recent changes to the wiki on this page.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
26 April 2024
14:48 | Algorithmic Game Theory (SS2024) diffhist +170 Hannes Straß talk contribs |
|
14:48 | (Upload log) [Stephan Mennicke; Hannes Straß] | |||
|
14:48 Hannes Straß talk contribs uploaded Datei:AGT2024-03.pdf | ||||
|
08:54 Stephan Mennicke talk contribs uploaded Datei:CONCUR24-E02-fixedpoints.pdf |
11:15 | Francesco Kriegel diffhist 0 Oliver Fernandez Gil talk contribs |
11:07 | Oliver Fernández Gil diffhist 0 Oliver Fernandez Gil talk contribs |
08:55 | Concurrency Theory (SS2024) diffhist +13 Stephan Mennicke talk contribs (exercise sheet #2) |
25 April 2024
|
14:56 | Theoretische Informatik und Logik (SS2024) 2 changes history +611 [Markus Krötzsch (2×)] | |||
|
14:56 (cur | prev) +528 Markus Krötzsch talk contribs | ||||
|
11:27 (cur | prev) +83 Markus Krötzsch talk contribs |
13:52 | Automatentheorie diffhist −2 Oliver Fernandez Gil talk contribs |
|
13:52 | (Upload log) [Oliver Fernandez Gil; Markus Krötzsch (4×)] | |||
|
13:52 Oliver Fernandez Gil talk contribs uploaded Datei:LAT group photo 2024.jpeg | ||||
|
12:57 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-05-overlay.pdf | ||||
|
12:57 Markus Krötzsch talk contribs uploaded a new version of Datei:TheoLog2024-Vorlesung-05-print.pdf | ||||
|
11:26 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-06-overlay.pdf | ||||
|
11:26 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-06-print.pdf |
13:23 | Anni-Yasmin Turhan diffhist 0 Oliver Fernandez Gil talk contribs |
13:23 | Satyadharma Tirtarasa diffhist 0 Oliver Fernandez Gil talk contribs |
13:21 | Adrian Nuradiansyah diffhist 0 Oliver Fernandez Gil talk contribs |
07:55 | Proof Theory and Sequent Systems (SS2024) diffhist +113 Tim Lyon talk contribs |
24 April 2024
N 14:39 | Inproceedings3379/en diffhist +31 Tim Lyon talk contribs (Page created automatically by parser function on page Inproceedings3379) |
N 14:39 | Inproceedings3379 diffhist +1,486 Tim Lyon talk contribs (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Jonas Karge }} {{Inproceedings |Referiert=1 |Title=Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents |To appear=1 |Year=2024 |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We introduce a constructive met…“) |
|
14:37 | (Upload log) [Tim Lyon; Stephan Mennicke] | |||
|
14:37 Tim Lyon talk contribs uploaded Datei:IJCAI24-Lyon-Karge.pdf | ||||
|
11:03 Stephan Mennicke talk contribs uploaded a new version of Datei:CONCUR24-04-directstyle.pdf (missing proofs added) |
11:00 | Concurrency Theory (SS2024) diffhist −2 Stephan Mennicke talk contribs (mild change) |
23 April 2024
09:13 | Concurrency Theory (SS2024) diffhist +38 Stephan Mennicke talk contribs (upload slides (jbl)) |
09:12 | Upload log Stephan Mennicke talk contribs uploaded Datei:CONCUR24-04-directstyle.pdf |
22 April 2024
|
14:50 | Formale Systeme (WS2023) 3 changes history +407 [Stephan Mennicke (3×)] | |||
|
14:50 (cur | prev) +65 Stephan Mennicke talk contribs | ||||
|
14:47 (cur | prev) +58 Stephan Mennicke talk contribs | ||||
|
14:46 (cur | prev) +284 Stephan Mennicke talk contribs (Klausureinsicht) |
11:09 | Theoretische Informatik und Logik (SS2024) diffhist +83 Markus Krötzsch talk contribs |
|
11:09 | (Upload log) [Jonas Karge; Markus Krötzsch (2×)] | |||
|
11:09 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-05-print.pdf | ||||
|
11:09 Markus Krötzsch talk contribs uploaded Datei:TheoLog2024-Vorlesung-05-overlay.pdf | ||||
|
10:26 Jonas Karge talk contribs uploaded Datei:AGT24-Ex02.pdf |
10:27 | Algorithmic Game Theory (SS2024) diffhist +161 Jonas Karge talk contribs |