Aktuelles: Complementable Normal Form of Parametrized Automata

Das Paper “Complementable Normal Form of Parametrized Automata” von Franziska Alber und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25. September in Palermo statt.

23. Juni 2025, von Franziska Alber

Informatik und Data Science
Forschung
Publikation

Medien

A screen caption of the title and abstract of a paper

nach oben