Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             15 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Approximate minimization of weighted tree automata Balle, Borja

282 C p.
artikel
2 Bisimulation metrics and norms for real-weighted automata Balle, Borja

282 C p.
artikel
3 Costs and rewards in priced timed automata Fränzle, Martin

282 C p.
artikel
4 Dynamics of reputation in mobile agents systems and weighted timed automata Aman, Bogdan

282 C p.
artikel
5 Editorial Board
282 C p.
artikel
6 Logic for ω-pushdown automata Droste, Manfred

282 C p.
artikel
7 Preface Droste, Manfred

282 C p.
artikel
8 Preservation of normality by transducers Carton, Olivier

282 C p.
artikel
9 Principal abstract families of weighted tree languages Fülöp, Zoltán

282 C p.
artikel
10 Probabilistic automata of bounded ambiguity Fijalkow, Nathanaël

282 C p.
artikel
11 Regular transducer expressions for regular transformations Dave, Vrunda

282 C p.
artikel
12 Weighted automata computation of edit distances with consolidations and fragmentations Giraud, Mathieu

282 C p.
artikel
13 Weighted operator precedence languages Droste, Manfred

282 C p.
artikel
14 Weighted propositional configuration logics: A specification language for architectures with quantitative features Paraponiari, Paulina

282 C p.
artikel
15 What's decidable about weighted automata? Almagor, Shaull

282 C p.
artikel
                             15 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland