Direkt zum Inhalt


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