Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 Allen-like theory of time for tree-like structures Durhan, S.
 2018
 259 P3 p. 375-389
 article
2 An automata-theoretic approach to the verification of distributed algorithms Aiswarya, C.
 2018
 259 P3 p. 305-327
 article
3 Checking dynamic consistency of conditional hyper temporal networks via mean payoff games Comin, Carlo
 2018
 259 P3 p. 348-374
 article
4 Editorial Board 2018
 259 P3 p. ii
 article
5 First-order μ-calculus over generic transition systems and applications to the situation calculus Calvanese, Diego
 2018
 259 P3 p. 328-347
 article
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
 article
7 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015) Grandi, Fabio
 2018
 259 P3 p. 303-304
 article
8 Reasoning about graded strategy quantifiers Malvone, Vadim
 2018
 259 P3 p. 390-411
 article
9 User-friendly temporal queries on historical knowledge bases Zaniolo, Carlo
 2018
 259 P3 p. 444-459
 article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands