DE|EN: the current page is not available in English
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.
Damit unsere Website technisch funktioniert, verwenden wir dafür erforderliche Cookies. Au?erdem erm?glichen optionale Cookies eine bestm?gliche Nutzung der Seite. Mit einem H?kchen geben Sie Ihr Einverst?ndnis. Sie k?nnen jederzeit widerrufen. Mehr Infos dazu in unserer Datenschutzerkl?rung.