Description

• Title: Hyper-minimization for deterministic tree automata
• Journal title: International Journal of Foundations of Computer Science
• Creator: Jeż, Artur ; Maletti, Andreas
• Pages: s. 815-830
• Description: 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.
• Language of abstract: eng
• Date issued: 2013
• Type: Tekst
• Identifier: ISSN 0129-0541 ; https://doi.org/10.1142/S0129054113400200
• Language: eng
• Has version: http://dx.doi.org/10.1142/S0129054113400200
• Detailed object type: art
• Object type: Artykuł
• Location: Vol. 24, iss. 06 (2013)