Aktuelle Informationen des Fachgebiets Automaten und Logik

Seite 1 von 3.

Arbeit von Dietrich Kuske im Fachjournal of "Fundamenta Informaticae" veröffentlicht.

Die Arbeit "The theory of reachability of trace-pushdown systems" von Dietrich Kuske wurde…

Arbeit von Dietrich Kuske und Georg Zetzsche zur Veröffentlichung im Journal of Theoretical Computer Science 2027 bestätigt.

Die Arbeit "Languages structured by the subword order and length relations⋆" von Dietrich…

Arbeit von Dietrich Kuske und Georg Zetzsche für das Journal of Theoretical Computer Science 2027 angenommen

Die Arbeit "Languages structured by the subword order and length relations⋆" von Dietrich…

Arbeit von Dietrich Kuske auf der Mathematical Foundations of Computer Science 2026 veröffentlicht

Die Arbeit "Boolean Combinations of ω-Rational Trace Languages: Emptiness, Rationality,…

Arbeit von Dietrich Kuske auf der Mathematical Foundations of Computer Science 2026 angenommen

Die Arbeit "Boolean combinations of omega-rational trace languages: emptiness,…

Arbeit über Beweissysteme mit strukturierten Schaltkreisen auf der SAT-Konferenz 2026 angenommen

Die Arbeit “Proof Systems Based on Structured Circuits” von Christoph Berkholz und…

TU Ilmenau

Arbeit von Chris Köcher und Dietrich Kuske im Journal of Theoretical Computer Science veröffentlicht

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und Dietrich Kuske…

TU Ilmenau

Arbeit von Chris Köcher und Dietrich Kuske für das Journal of Theoretical Computer Science angenommen

Die Arbeit "Reachability in Trace-Pushdown Systems" von Chris Köcher und Dietrich Kuske…

Paper from Sebastian Pfau published at CSL 2026TU Ilmenau

Arbeit von M. Sc. Sebastian Pfau auf der CSL 2026 veröffentlicht

Die Arbeit "Boolean Basis and Succinctness of Modal Logic via Hella-Vilander games" von M.…

TU Ilmenau

Arbeit aus dem Institut für Theoretische Informatik im Journal of the ACM zur Veröffentlichung angenommen

Die Arbeit „Ribbon: Fast Succinct Static Retrieval and Approximate Membership“ von Martin…

Seite 1 von 3.