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 |