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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations Viganò, Luca
2017
255 P2 p. 311-333
23 p.
artikel
2 Editorial Board 2017
255 P2 p. IFC-
1 p.
artikel
3 Model theory of XPath on data trees. Part II: Binary bisimulation and definability Abriola, Sergio
2017
255 P2 p. 195-223
29 p.
artikel
4 On the value of variables Accattoli, Beniamino
2017
255 P2 p. 224-242
19 p.
artikel
5 Rethinking specificity in defeasible reasoning and its effect in argument reinstatement Bodanza, Gustavo Adrián
2017
255 P2 p. 287-310
24 p.
artikel
6 21st Workshop on Logic, Language, Information and Computation – WoLLIC 2014 Kohlenbach, Ulrich
2017
255 P2 p. 193-194
2 p.
artikel
7 The modal logic of copy and remove Areces, Carlos
2017
255 P2 p. 243-261
19 p.
artikel
8 Unranked second-order anti-unification Baumgartner, Alexander
2017
255 P2 p. 262-286
25 p.
artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland