- Hyper-minimization for deterministic tree automata
Opis
- Tytuł: Hyper-minimization for deterministic tree automata
- Tytuł czasopisma: International Journal of Foundations of Computer Science
- Twórca: Jeż, Artur ; Maletti, Andreas
- Strony: s. 815-830
- Opis: Zawiera ilustracje. ; Bibliogr. ; Przy nazwisku Artur Jeż podwójna afiliacja: Uniwersytet Wrocławski i Instytut Informatyki im . Maxa Plancka, Niemcy. ; Ten artykuł jest rozszerzoną wersją pracy : Artur Jeż, Andreas Maletti "Hyper-minimization for deterministic tree automata" w LNCS nr 7381, s. 217-228 z roku 2012. ; Streszcz. w jęz. ang.
- Język Abstraktu: eng
- Data wydania: 2013
- Typ: Tekst
- Identyfikator: ISSN 0129-0541 ; https://doi.org/10.1142/S0129054113400200
- Język publikacji: eng
- Wersja Cyfrowa: http://dx.doi.org/10.1142/S0129054113400200
- Szczegółowy typ obiektu: art
- Typ obiektu: Artykuł
- Tom/Wolumen/Zeszyt: Vol. 24, iss. 06 (2013)