Lib
ron
Gesamtbestand
Neuzugänge
Erweiterte Suche
Schriftgröße
A−
A
A+
Darstellung
Clean
Warm
Dark
Deep dark
„recognizing morphism“
Suchergebnisse
2 Treffer
The Intersection Problem for Finite Monoids
Fleischer, Lukas ; Kufleitner, Manfred
2018
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Efficient Algorithms for Morphisms over Omega-Regular Languages
Fleischer, Lukas ; Kufleitner, Manfred
2015
Schloss Dagstuhl – Leibniz-Zentrum für Informatik