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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Allen-like theory of time for tree-like structures Durhan, S.
 2018
 259 P3 p. 375-389
 artikel
2 An automata-theoretic approach to the verification of distributed algorithms Aiswarya, C.
 2018
 259 P3 p. 305-327
 artikel
3 Checking dynamic consistency of conditional hyper temporal networks via mean payoff games Comin, Carlo
 2018
 259 P3 p. 348-374
 artikel
4 Editorial Board 2018
 259 P3 p. ii
 artikel
5 First-order μ-calculus over generic transition systems and applications to the situation calculus Calvanese, Diego
 2018
 259 P3 p. 328-347
 artikel
6 Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives Molinari, Alberto
 2018
 259 P3 p. 412-443
 artikel
7 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015) Grandi, Fabio
 2018
 259 P3 p. 303-304
 artikel
8 Reasoning about graded strategy quantifiers Malvone, Vadim
 2018
 259 P3 p. 390-411
 artikel
9 User-friendly temporal queries on historical knowledge bases Zaniolo, Carlo
 2018
 259 P3 p. 444-459
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland