Erweiterte Suche
Zurück zur Übersicht
Exportieren als [feed] RSS 1.0 [feed] RSS 2.0

Zitation

Gruppieren nach: Erscheinungsjahr | Autoren | Keine Sortierung
Springe zu: 2010 | 2005 | 1992 | 1991
Anzahl der Einträge: 6.

2010

Zhan, Naijun ; Majster-Cederbaum, Mila (2010) On hierarchically developing reactive systems. Information and Computation Amsterdam 208 9 997-1019 [Zeitschriftenartikel]

2005

Baier, Christel ; Hermanns, Holger ; Katoen, Joost-Pieter ; Wolf, Verena (2005) Comparative Branching Time Semantics for Markov Chains. Information and Computation Amsterdam 200 2 149-214 [Zeitschriftenartikel]

Krause, Matthias ; Savický, Petr ; Wegener, Ingo (2005) On the influence of the variable ordering for algorithmic learning using OBDDs. Information and Computation Amsterdam 201 2 160-177 [Zeitschriftenartikel]

1992

Hromkovič, Juraj ; Krause, Matthias ; Meinel, Christoph ; Waack, Stephan (1992) Branching programs provide lower bounds on the areas of multilective deterministic and nondeterministic VLSI-circuits. Information and Computation Amsterdam [u.a.] 96 2 168-178 [Zeitschriftenartikel]

1991

Krause, Matthias (1991) Lower bounds for depth-restricted branching programs. Information and Computation Amsterdam [u.a.] 91 1 1-14 [Zeitschriftenartikel]

Krause, Matthias ; Waack, Stephan (1991) On oblivious branching programs of linear length. Information and Computation Amsterdam [u.a.] 94 2 232-249 [Zeitschriftenartikel]

Diese Liste wurde am Sat Nov 23 03:02:11 2024 CET automatisch erstellt.