| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Boolean dependence logic and partially-ordered connectives
|
Ebbing, Johannes
|
|
2017
|
88 |
C |
p. 103-125
|
artikel
|
| 2 |
Contents
|
|
|
2017
|
88 |
C |
p. OBC
|
artikel
|
| 3 |
Decidability of order-based modal logics
|
Caicedo, Xavier
|
|
2017
|
88 |
C |
p. 53-74
|
artikel
|
| 4 |
Deciding definability by deterministic regular expressions
|
Czerwiński, Wojciech
|
|
2017
|
88 |
C |
p. 75-89
|
artikel
|
| 5 |
Dependence logic with generalized quantifiers: Axiomatizations
|
Engström, Fredrik
|
|
2017
|
88 |
C |
p. 90-102
|
artikel
|
| 6 |
Dynamic conjunctive queries
|
Zeume, Thomas
|
|
2017
|
88 |
C |
p. 3-26
|
artikel
|
| 7 |
Editorial Board
|
|
|
2017
|
88 |
C |
p. IFC
|
artikel
|
| 8 |
Faster exact algorithms for some terminal set problems
|
Chitnis, Rajesh
|
|
2017
|
88 |
C |
p. 195-207
|
artikel
|
| 9 |
Fixed points in conjunctive networks and maximal independent sets in graph contractions
|
Aracena, Julio
|
|
2017
|
88 |
C |
p. 145-163
|
artikel
|
| 10 |
Formal verification of stability and chaos in periodic optical systems
|
Siddique, Umair
|
|
2017
|
88 |
C |
p. 271-289
|
artikel
|
| 11 |
Hyperplane separation technique for multidimensional mean-payoff games
|
Chatterjee, Krishnendu
|
|
2017
|
88 |
C |
p. 236-259
|
artikel
|
| 12 |
Linear kernels for separating a graph into components of bounded size
|
Xiao, Mingyu
|
|
2017
|
88 |
C |
p. 260-270
|
artikel
|
| 13 |
Model-checking for Resource-Bounded ATL with production and consumption of resources
|
Alechina, Natasha
|
|
2017
|
88 |
C |
p. 126-144
|
artikel
|
| 14 |
On g-extra connectivity of hypercube-like networks
|
Zhou, Jin-Xin
|
|
2017
|
88 |
C |
p. 208-219
|
artikel
|
| 15 |
On the data complexity of consistent query answering over graph databases
|
Barceló, Pablo
|
|
2017
|
88 |
C |
p. 164-194
|
artikel
|
| 16 |
Quantifying leakage in the presence of unreliable sources of information
|
Hamadou, Sardaouna
|
|
2017
|
88 |
C |
p. 27-52
|
artikel
|
| 17 |
The impact of processing order on performance: A taxonomy of semi-FIFO policies
|
Kogan, Kirill
|
|
2017
|
88 |
C |
p. 220-235
|
artikel
|
| 18 |
20th workshop on logic, language, information and computation – WoLLIC 2013
|
Libkin, Leonid
|
|
2017
|
88 |
C |
p. 1-2
|
artikel
|
Tijdschrift beschrijving