Von Lukas Gerlach hochgeladene Dateien
Aus International Center for Computational Logic
Diese Spezialseite listet alle hochgeladenen Dateien auf.
| Datum | Name | Vorschaubild | Größe | Beschreibung | Versionen |
|---|---|---|---|---|---|
| 08:30, 18. Apr. 2024 | RestrictedChaseUniversalModelsInLean.pdf (Datei) |  |
241 KB | 2 | |
| 09:29, 30. Jan. 2024 | CT2023-Lecture-27-print.pdf (Datei) |  |
138 KB | 1 | |
| 09:29, 30. Jan. 2024 | CT2023-Lecture-27-overlay.pdf (Datei) |  |
154 KB | 1 | |
| 09:32, 22. Jan. 2024 | CT2023-Lecture-26-print.pdf (Datei) |  |
186 KB | 1 | |
| 09:32, 22. Jan. 2024 | CT2023-Lecture-26-overlay.pdf (Datei) |  |
243 KB | 1 | |
| 09:09, 12. Jan. 2024 | CT23-sheet10.pdf (Datei) |  |
302 KB | 1 | |
| 09:09, 12. Jan. 2024 | CT2023-Lecture-24-print.pdf (Datei) |  |
205 KB | 1 | |
| 09:08, 12. Jan. 2024 | CT2023-Lecture-24-overlay.pdf (Datei) |  |
267 KB | 1 | |
| 18:12, 4. Jan. 2024 | CT23-sheet09.pdf (Datei) |  |
265 KB | 1 | |
| 16:25, 13. Dez. 2023 | CT23-sheet08.pdf (Datei) |  |
291 KB | 1 | |
| 16:19, 30. Nov. 2023 | CT23-sheet06.pdf (Datei) |  |
261 KB | 1 | |
| 16:17, 30. Nov. 2023 | CT2023-Lecture-16-print.pdf (Datei) |  |
172 KB | 1 | |
| 16:17, 30. Nov. 2023 | CT2023-Lecture-16-overlay.pdf (Datei) |  |
205 KB | 1 | |
| 16:16, 30. Nov. 2023 | CT2023-Lecture-15-print.pdf (Datei) |  |
141 KB | 1 | |
| 16:15, 30. Nov. 2023 | CT2023-Lecture-15-overlay.pdf (Datei) |  |
197 KB | 1 | |
| 09:15, 20. Nov. 2023 | CT2023-Lecture-12-print.pdf (Datei) |  |
144 KB | 1 | |
| 09:15, 20. Nov. 2023 | CT2023-Lecture-12-overlay.pdf (Datei) |  |
193 KB | 1 | |
| 09:15, 20. Nov. 2023 | CT2023-Lecture-11-print.pdf (Datei) |  |
171 KB | 1 | |
| 09:15, 20. Nov. 2023 | CT2023-Lecture-11-overlay.pdf (Datei) |  |
196 KB | 1 | |
| 09:49, 13. Nov. 2023 | CT2023-Lecture-10-print.pdf (Datei) |  |
195 KB | 1 | |
| 09:49, 13. Nov. 2023 | CT2023-Lecture-10-overlay.pdf (Datei) |  |
301 KB | 1 | |
| 09:49, 13. Nov. 2023 | CT2023-Lecture-09-print.pdf (Datei) |  |
261 KB | 1 | |
| 09:48, 13. Nov. 2023 | CT2023-Lecture-09-overlay.pdf (Datei) |  |
301 KB | 1 | |
| 09:42, 30. Okt. 2023 | CT2023-Lecture-06-overlay.pdf (Datei) |  |
386 KB | 1 | |
| 09:42, 30. Okt. 2023 | CT2023-Lecture-06-print.pdf (Datei) |  |
347 KB | 1 | |
| 15:44, 23. Okt. 2023 | DL-2023-Gerlach-Carral-Talk.pdf (Datei) |  |
641 KB | 1 | |
| 15:43, 23. Okt. 2023 | DL-2023-Submission-4173-Gerlach-Carral.pdf (Datei) |  |
814 KB | 1 | |
| 14:23, 17. Okt. 2023 | CT2023-Lecture-04-overlay.pdf (Datei) |  |
228 KB | 2 | |
| 14:23, 17. Okt. 2023 | CT2023-Lecture-04-print.pdf (Datei) |  |
145 KB | 2 | |
| 13:57, 16. Okt. 2023 | CT2023-Lecture-03-overlay.pdf (Datei) |  |
331 KB | 2 | |
| 13:57, 16. Okt. 2023 | CT2023-Lecture-03-print.pdf (Datei) |  |
210 KB | 2 | |
| 08:45, 16. Okt. 2023 | CT2023-Lecture-02-overlay.pdf (Datei) |  |
294 KB | 1 | |
| 08:45, 16. Okt. 2023 | CT2023-Lecture-01-overlay.pdf (Datei) |  |
385 KB | 1 | |
| 11:28, 10. Okt. 2023 | CT2023-Lecture-02-print.pdf (Datei) |  |
173 KB | 1 | |
| 11:28, 10. Okt. 2023 | CT2023-Lecture-01-print.pdf (Datei) |  |
290 KB | 1 | |
| 14:25, 5. Sep. 2023 | Gerlach-carral-kr-2023-talk.pdf (Datei) |  |
839 KB | 1 | |
| 16:27, 8. Aug. 2023 | Xlokr-2023-ellmauthaler-gerlach-submission2105.pdf (Datei) |  |
447 KB | 1 | |
| 09:01, 13. Jul. 2023 | KR-2023-Submission-3571-Gerlach-Carral-Technical-Report.pdf (Datei) |  |
375 KB | 2 | |
| 08:49, 8. Mär. 2023 | AAAI2023-Gerlach-Carral-Slides.pdf (Datei) |  |
744 KB | 1 | |
| 08:48, 8. Mär. 2023 | AAAI2023-Gerlach-Carral.pdf (Datei) |  |
381 KB | 4 | |
| 10:08, 11. Jan. 2023 | Lohrmann-Medal.jpg (Datei) |  |
884 KB | 1 | |
| 13:57, 1. Apr. 2022 | InnoSale Logo original.png (Datei) |  |
6 KB | 1 | |
| 11:08, 19. Jan. 2022 | Ifak logo.png (Datei) |  |
23 KB | 2 | |
| 10:32, 19. Jan. 2022 | Tarakos logo.png (Datei) |  |
13 KB | 2 | |
| 10:21, 19. Jan. 2022 | Nativ logo.png (Datei) |  |
22 KB | 1 | |
| 10:17, 19. Jan. 2022 | Iotiq logo.png (Datei) |  |
6 KB | 1 | |
| 10:15, 19. Jan. 2022 | Em ag logo.png (Datei) |  |
8 KB | 1 | |
| 10:05, 19. Jan. 2022 | Software ag logo.png (Datei) |  |
12 KB | 1 | |
| 10:03, 19. Jan. 2022 | Demag logo.svg (Datei) |  |
2 KB | 1 | |
| 10:01, 19. Jan. 2022 | Software ag logo.svg (Datei) |  |
3 KB | 1 |
