Skip to main content


News: Complementable Normal Form of Parametrised Automata

The paper "Complementable Normal Form of Parametrised Automata" by Franziska Alber and Philipp Rümmer was accepted at CIAA 2025. The conference will take place from 22 to 25 September in Palermo.

23 June 2025, by Franziska Alber

  • Informatics and Data Science
  • Research
  • Publication

Media

A screen caption of the title and abstract of a paper
To top