Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A simplicial complex model for dynamic epistemic logic to study distributed task computability Goubault, Éric
278 C p.
 artikel
2 Constrained existence problem for weak subgame perfect equilibria with ω-regular Boolean objectives Brihaye, Thomas
278 C p.
 artikel
3 Editorial Board
278 C p.
 artikel
4 One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past Geatti, Luca
278 C p.
 artikel
5 Parameterized verification of coverability in infinite state broadcast networks Balasubramanian, A.R.
278 C p.
 artikel
6 Preface Orlandini, Andrea
278 C p.
 artikel
7 Quantitative reductions and vertex-ranked infinite games Weinert, Alexander
278 C p.
 artikel
8 Regular ω-languages with an informative right congruence Angluin, Dana
278 C p.
 artikel
9 Safe dependency atoms and possibility operators in team semantics Galliani, Pietro
278 C p.
 artikel
10 The uniform measure of simple regular sets of infinite trees Przybyłko, Marcin
278 C p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland