Neue Seiten

14:46, 11. Apr. 2025 ‎Misc3085 (Versionen | bearbeiten) ‎[1.301 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Misc |Title=Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions |Year=2025 |Month=April |Howpublished=Talk at Description Logics Seminar }} {{Publikation Details |Abstract=In this talk, I'll be giving an overview of my recent and ongoing works revolving around chase termination. The chase is a fundamental algorithm for reasoning with ontologies…“)
08:25, 11. Apr. 2025 ‎Universität Leipzig (Versionen | bearbeiten) ‎[288 Bytes] ‎Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Partner |Organisationsart=Forschungseinrichtung |Ort=Leipzig |Geografische Koordinaten=51°20'19.32"N, 12°22'43.42"E |URL=https://www.uni-leipzig.de/ |Forschungsgruppe=Wissensbasierte Systeme |Contacts=Peter Stadler, Carsten Lutz, Erhard Rahm, Jens Meiler }}“)
08:25, 11. Apr. 2025 ‎Universität Leipzig/en (Versionen | bearbeiten) ‎[14 Bytes] ‎Markus Krötzsch (Diskussion | Beiträge) (Page created automatically by parser function on page Universität Leipzig)
16:55, 10. Apr. 2025 ‎Aktivitaet2138 (Versionen | bearbeiten) ‎[371 Bytes] ‎Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Vorsitzender der Prüfungsausschüsse Informatik (BSc, MSc, Diplom) |Beschreibung EN=Head of the Examination Boards for Computer Science (BSc, MSc, Diploma) |Person=Markus Krötzsch |URL=https://tu-dresden.de/ing/informatik/die-fakultaet/gremien-und-beauftragte/pruefungsausschuesse |Start(Jahr)=2025 |Ende(Jahr)=andauernd |Rank=★★★ }}“)
16:47, 10. Apr. 2025 ‎Aktivitaet2137 (Versionen | bearbeiten) ‎[248 Bytes] ‎Markus Krötzsch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Aktivität |Beschreibung DE=Wikidata Workshop 2025 (Organisationskomitee) |Beschreibung EN=Wikidata Workshop 2025 (Co-Chair) |Person=Markus Krötzsch |URL=https://wikidataworkshop.github.io/2025/ |Start(Jahr)=2025 |Ende(Jahr)=2025 |Rank=★★ }}“)
07:46, 8. Apr. 2025 ‎Article3105 (Versionen | bearbeiten) ‎[1.547 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=David |ErsterAutorNachname=Carral |FurtherAuthors=Lukas Gerlach; Lucas Larroque; Michaël Thomazo }} {{Article |Referiert=1 |Title=Restricted Chase Termination: You Want More than Fairness |To appear=1 |Year=2025 |Month=Juni |Journal=Proc. ACM Manag. Data |Volume=3 |Number=2 (PODS) |Publisher=ACM }} {{Publikation Details |Abstract=The chase is a fundamental algorithm with ubiquitous uses in database theory. G…“)
10:26, 7. Apr. 2025 ‎Recent Topics in Knowledge Graphs (SS2025)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Philipp Hanisch (Diskussion | Beiträge) (Page created automatically by parser function on page Recent Topics in Knowledge Graphs (SS2025))
10:26, 7. Apr. 2025 ‎Recent Topics in Knowledge Graphs (SS2025) (Versionen | bearbeiten) ‎[2.239 Bytes] ‎Philipp Hanisch (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Recent Topics in Knowledge Graphs |Research group=Wissensbasierte Systeme |Lecturers=Philipp Hanisch |Term=SS |Year=2025 |Module=INF-B510 |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat |Description=TBA }}“)
08:30, 7. Apr. 2025 ‎Seminar Logic-Based Knowledge Representation (SS2025) (Versionen | bearbeiten) ‎[4.051 Bytes] ‎Sarah Gaggl (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Seminar Logic-Based Knowledge Representation |Research group=Logische Programmierung und Argumentation |Lecturers=Sarah Alice Gaggl |Term=SS |Year=2025 |Module=CMS-SEM-A, INF-04-HS, INF-AQUA, INF-D-940, INF-PM-FOR |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat, nach Modulbeschreibung |Description====Course Description=== This seminar intends to introduce to selected topics of an active research areas in t…“)
08:30, 7. Apr. 2025 ‎Seminar Logic-Based Knowledge Representation (SS2025)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Sarah Gaggl (Diskussion | Beiträge) (Page created automatically by parser function on page Seminar Logic-Based Knowledge Representation (SS2025))
07:31, 1. Apr. 2025 ‎On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic (Versionen | bearbeiten) ‎[1.020 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic |Beschreibung EN=Propositional dynamic logic (PDL) is an important modal logic used to specify and reason about the behavior of programs. A challenging problem in the context of PDL is solving fixed-point equations, i.e., formulae of the form x ≡ ϕ(x) such that x is a propositional variable and ϕ(x) is a formula containing x. A solution to such an e…“)
07:31, 1. Apr. 2025 ‎On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic)
11:40, 31. Mär. 2025 ‎Theoretische Informatik und Logik (SS2025) (Versionen | bearbeiten) ‎[7.343 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Theoretische Informatik und Logik |Research group=Computational Logic |Lecturers=Sebastian Rudolph |Tutors=Hannes Straß; Sarah Alice Gaggl |Term=SS |Year=2025 |Lecture series=Theoretische Informatik und Logik |Module=INF-B-290, INF-D-330 |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=Klausur |Description=Die Lehrveranstaltung vermittelt eine vertiefende Einleitung in die theoretische Informatik, beginnend mit den Grundlagen de…“)
11:40, 31. Mär. 2025 ‎Theoretische Informatik und Logik (SS2025)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Hannes Straß (Diskussion | Beiträge) (Page created automatically by parser function on page Theoretische Informatik und Logik (SS2025))
09:49, 31. Mär. 2025 ‎Article3104 (Versionen | bearbeiten) ‎[465 Bytes] ‎Bartosz Bednarczyk (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk |FurtherAuthors=Julien Grange }} {{Article |Referiert=0 |Title=About the Expressive Power and Complexity of Order-Invariance with Two Variables |To appear=0 |Year=2025 |Month=März |Journal=Logical Methods in Computer Science |Volume=21 |Number=1 |Pages=30:1--30:28 }} {{Publikation Details |Download=Lmcs-bbe-grange.pdf |Projekt=DeciGUT |Forschungsgruppe=Computational Lo…“)
14:14, 28. Mär. 2025 ‎Thema3516 (Versionen | bearbeiten) ‎[2.486 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=A Simplified Tableau Calculus for Standpoint LTL |Titel EN=A Simplified Tableau Calculus for Standpoint LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik, die zur Untersuchung temporaler Eigenschaften in der Informatik verwendet wird, während die Standpunktlogik (SL) eine kürzlich einge…“)
14:14, 28. Mär. 2025 ‎Thema3516/en (Versionen | bearbeiten) ‎[22 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Page created automatically by parser function on page Thema3516)
14:05, 28. Mär. 2025 ‎Thema3515 (Versionen | bearbeiten) ‎[2.489 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Abschlussarbeit |Titel DE=Ill-Founded Linear Nested Sequents for LTL |Titel EN=Ill-Founded Linear Nested Sequents for LTL |Abschlussarbeitstyp=Master |Betreuer=Tim Lyon |Forschungsgruppe=Computational Logic |Abschlussarbeitsstatus=Offen |Ergebnisse=Thesis Topic Ill-Founded Sequent System for LTL.pdf |Beschreibung DE=Die lineare temporale Logik (LTL) ist eine modale Logik zur Untersuchung temporaler Eigenschaften in der Informatik, insbesondere in der Pr…“)
14:05, 28. Mär. 2025 ‎Thema3515/en (Versionen | bearbeiten) ‎[22 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Page created automatically by parser function on page Thema3515)
14:40, 27. Mär. 2025 ‎Database Theory (SS2025) (Versionen | bearbeiten) ‎[9.946 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Database Theory |Research group=Wissensbasierte Systeme |Lecturers=Markus Krötzsch |Tutors=Lukas Gerlach |Term=SS |Year=2025 |Lecture series=Database Theory |Matrix=#dbt2025:tu-dresden.de |Module=CMS-LM-ADV, CMS-LM-MOC, INF-B-510, INF-B-520, INF-BAS6, INF-PM-FOR, INF-VERT6, MCL-KR, MCL-PI, MCL-TCSL |SWSLecture=4 |SWSExercise=2 |SWSPractical=0 |Exam type=mündliche Prüfung |Description=Databases are a key technology in computer science…“)
14:40, 27. Mär. 2025 ‎Database Theory (SS2025)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Database Theory (SS2025))
14:24, 27. Mär. 2025 ‎Misc3084 (Versionen | bearbeiten) ‎[1.060 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Lukas |ErsterAutorNachname=Gerlach }} {{Misc |Title=Formalizing Possibly Infinite Trees of Bounded Degree |Year=2025 |Month=März |Howpublished=Talk at Workshop: Leaning In! 2025 }} {{Publikation Details |Abstract=As Lean does not support coinductive types directly, formalizing infinite lists and infinite trees requires some "creativity". As a byproduct of o…“)
15:06, 18. Mär. 2025 ‎SEMECO-Q1 (Versionen | bearbeiten) ‎[798 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Projekt |Kurzname=SEMECO-Q1 |Name=Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen |Name EN=Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture |Beschreibung DE=Weitere informationen finden Sie auf der [https://digitalhealth.tu-dresden.de/projects/semeco/ externen Projektwebseite]. |Beschreibung EN=For more information, see the [https://digitalhealth.tu-dresden.de/…“)
15:06, 18. Mär. 2025 ‎SEMECO-Q1/en (Versionen | bearbeiten) ‎[14 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Page created automatically by parser function on page SEMECO-Q1)
07:39, 9. Mär. 2025 ‎Techreport3054 (Versionen | bearbeiten) ‎[1.640 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Yujia |ErsterAutorNachname=Hu |FurtherAuthors=Tuan-Phong Nguyen; Shrestha Ghosh; Simon Razniewski }} {{Techreport |Title=GPTKB: Comprehensively Materializing Factual LLM Knowledge |Year=2024 |Month=November |Institution=arXiv.org }} {{Publikation Details |Abstract=LLMs have majorly advanced NLP and AI, and next to their ability to perform a wide range of procedural tasks, a major success factor is their inter…“)
07:35, 9. Mär. 2025 ‎Large Language Models and Knowledge-aware AI (2025 Seminar) (SS2025) (Versionen | bearbeiten) ‎[432 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Large Language Models and Knowledge-aware AI (2025 Seminar) |Research group=Knowledge-aware Artificial Intelligence |Lecturers=Simon Razniewski |Term=SS |Year=2025 |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat |Description=This seminar discusses advanced topics at the interface of LLMs and KAAI. It is a block seminar and will take place on two consecutive days in the summer term 2025. }}“)
07:35, 9. Mär. 2025 ‎Large Language Models and Knowledge-aware AI (2025 Seminar) (SS2025)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Large Language Models and Knowledge-aware AI (2025 Seminar) (SS2025))
07:16, 9. Mär. 2025 ‎Alexander Schulz (Versionen | bearbeiten) ‎[221 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Alexander |Nachname=Schulz |Forschungsgruppe=Knowledge-aware Artificial Intelligence |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Publikationen anzeigen=1 |Abschlussarbeiten anzeigen=1 }}“)
07:16, 9. Mär. 2025 ‎Alexander Schulz/Abschlussarbeiten/en (Versionen | bearbeiten) ‎[77 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9. Mär. 2025 ‎Alexander Schulz/Abschlussarbeiten (Versionen | bearbeiten) ‎[59 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9. Mär. 2025 ‎Alexander Schulz/Publikationen/en (Versionen | bearbeiten) ‎[88 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9. Mär. 2025 ‎Alexander Schulz/Publikationen (Versionen | bearbeiten) ‎[70 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Alexander Schulz)
07:16, 9. Mär. 2025 ‎Alexander Schulz/en (Versionen | bearbeiten) ‎[18 Bytes] ‎Simon Razniewski (Diskussion | Beiträge) (Page created automatically by parser function on page Alexander Schulz)
11:03, 6. Mär. 2025 ‎Phdthesis3022 (Versionen | bearbeiten) ‎[2.655 Bytes] ‎Robin Ziemek (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Robin |ErsterAutorNachname=Ziemek }} {{Phdthesis |Title=Probabilistic Causality in Markovian Models |Instructor=Prof. Dr. Christel Baier |Date=2024/03/09 |School=TU Dresden }} {{Publikation Details |Abstract=The complexity of modern computer and software systems still seems to grow exponentially, while the human user is widely left without explanations on how to understand these systems. One of the central…“)
15:34, 5. Mär. 2025 ‎Algebraische und logische Grundlagen der Informatik/Abgeschlossene Studienarbeiten/en (Versionen | bearbeiten) ‎[97 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Page created automatically by parser function on page Algebraische und logische Grundlagen der Informatik)
15:34, 5. Mär. 2025 ‎Algebraische und logische Grundlagen der Informatik/Abgeschlossene Studienarbeiten (Versionen | bearbeiten) ‎[77 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Page created automatically by parser function on page Algebraische und logische Grundlagen der Informatik)
15:34, 5. Mär. 2025 ‎Algebraische und logische Grundlagen der Informatik/Publikationen/en (Versionen | bearbeiten) ‎[98 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Page created automatically by parser function on page Algebraische und logische Grundlagen der Informatik)
15:34, 5. Mär. 2025 ‎Algebraische und logische Grundlagen der Informatik/Publikationen (Versionen | bearbeiten) ‎[80 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Page created automatically by parser function on page Algebraische und logische Grundlagen der Informatik)
15:34, 5. Mär. 2025 ‎Algebraische und logische Grundlagen der Informatik/en (Versionen | bearbeiten) ‎[39 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Page created automatically by parser function on page Algebraische und logische Grundlagen der Informatik)
09:13, 4. Mär. 2025 ‎Concurrency Theory (SS2025) (Versionen | bearbeiten) ‎[6.993 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (created concurrency theory for summer term 2025)
09:13, 4. Mär. 2025 ‎Concurrency Theory (SS2025)/en (Versionen | bearbeiten) ‎[16 Bytes] ‎Stephan Mennicke (Diskussion | Beiträge) (Page created automatically by parser function on page Concurrency Theory (SS2025))
19:32, 3. Mär. 2025 ‎Inproceedings1488684891 (Versionen | bearbeiten) ‎[2.087 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Joris Nieuwveld; Joël Ouaknine; Jakob Piribauer; Mihir Vahanwala}} {{Inproceedings |Editor=Nils Jansen and Sebastian Junges and Benjamin Lucien Kaminski and Christoph Matheja and Thomas Noll and Tim Quatmann and Mariëlle Stoelinga and Matthias Volk |Title=Model Checking Markov Chains as Distribution Transformers |Book…“)
19:32, 3. Mär. 2025 ‎Inproceedings2598778905 (Versionen | bearbeiten) ‎[1.490 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Rajab |ErsterAutorNachname=Aghamov |FurtherAuthors=Christel Baier; Toghrul Karimov; Joël Ouaknine; Jakob Piribauer}} {{Inproceedings |Editor=Erika Ábrahám and Manuel Mazo Jr. |Title=Linear dynamical systems with continuous weight functions |Booktitle=Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024 |Pag…“)
19:32, 3. Mär. 2025 ‎Inproceedings3621349134 (Versionen | bearbeiten) ‎[1.260 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Timm |ErsterAutorNachname=Spork |FurtherAuthors=Christel Baier; Joost-Pieter Katoen; Jakob Piribauer; Tim Quatmann}} {{Inproceedings |Editor=Rupak Majumdar and Alexandra Silva |Title=A Spectrum of Approximate Probabilistic Bisimulations |Booktitle=35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada |Series=LIPIcs |Volume=311 |Page…“)
19:32, 3. Mär. 2025 ‎Inproceedings3474879216 (Versionen | bearbeiten) ‎[1.976 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christel |ErsterAutorNachname=Baier |FurtherAuthors=Calvin Chau; Sascha Klüppelholz}} {{Inproceedings |Editor=Jane Hillston and Sadegh Soudjani and Masaki Waga |Title=Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes |Booktitle=Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - First International Joint Conference, QEST+FORMATS 2024…“)
18:57, 3. Mär. 2025 ‎Article3103 (Versionen | bearbeiten) ‎[1.634 Bytes] ‎Tim Lyon (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Tim |ErsterAutorNachname=Lyon |FurtherAuthors=Agata Ciabattoni; Didier Galmiche; Marianna Girlando; Dominique Larchey-Wendling; Daniel Méry; Nicola Olivetti; Revantha Ramanayake }} {{Article |Referiert=1 |Title=Internal and External Calculi: Ordering the Jungle without Being Lost in Translations |To appear=0 |Year=2025 |Journal=Bulletin of the Section of Logic }} {{Publikation Details |Abstract=This paper gi…“)
12:02, 28. Feb. 2025 ‎Formalizing Possibly Infinite Trees of Bounded Degree (Versionen | bearbeiten) ‎[1.011 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Formalizing Possibly Infinite Trees of Bounded Degree |Beschreibung EN=As Lean does not support coinductive types directly, formalizing infinite lists and infinite trees requires some "creativity". As a byproduct of one of our ongoing works, we formalized possibly infinite trees of bounded degree in Lean. In this workshop, we will reproduce this idea and present the de…“)
12:02, 28. Feb. 2025 ‎Formalizing Possibly Infinite Trees of Bounded Degree/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Formalizing Possibly Infinite Trees of Bounded Degree)
11:55, 28. Feb. 2025 ‎Formalizing Possibly Infinite Trees of Bounded Degree/en (Versionen | bearbeiten) ‎[20 Bytes] ‎Lukas Gerlach (Diskussion | Beiträge) (Page created automatically by parser function on page Formalizing Possibly Infinite Trees of Bounded Degree)
17:37, 26. Feb. 2025 ‎Proseminar „Binäre Entscheidungsgraphen“ (SS2025) (Versionen | bearbeiten) ‎[2.538 Bytes] ‎Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Proseminar „Binäre Entscheidungsgraphen“ |Research group=Verifikation und formale quantitative Analyse |Lecturers=Sascha Klüppelholz |Term=SS |Year=2025 |Lecture series=Proseminar „Binäre Entscheidungsgraphen“ |Module=INF-B-610, INF-D-520 |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat |Description=Das Proseminar richtet sich an Studierende der Studiengänge Bachelor und Diplom Informatik. Das Them…“)