| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Algorithmic correspondence and canonicity for non-distributive logics
|
Conradie, Willem
|
|
|
170 |
9 |
p. 923-974
|
artikel
|
| 2 |
A logical approach to context-specific independence
|
Corander, Jukka
|
|
|
170 |
9 |
p. 975-992
|
artikel
|
| 3 |
A logician's view of graph polynomials
|
Makowsky, J.A.
|
|
|
170 |
9 |
p. 1030-1069
|
artikel
|
| 4 |
A model-theoretic characterization of constant-depth arithmetic circuits
|
Haak, Anselm
|
|
|
170 |
9 |
p. 1008-1029
|
artikel
|
| 5 |
Characterising modal definability of team-based logics via the universal modality
|
Sano, Katsuhiko
|
|
|
170 |
9 |
p. 1100-1127
|
artikel
|
| 6 |
Descriptive complexity of graph spectra
|
Dawar, Anuj
|
|
|
170 |
9 |
p. 993-1007
|
artikel
|
| 7 |
Editorial Board
|
|
|
|
170 |
9 |
p. ii
|
artikel
|
| 8 |
Negation and partial axiomatizations of dependence and independence logic revisited
|
Yang, Fan
|
|
|
170 |
9 |
p. 1128-1149
|
artikel
|
| 9 |
23rd Workshop on Logic, Language, Information and Computation - WoLLIC 2016
|
Väänänen, Jouko
|
|
|
170 |
9 |
p. 921-922
|
artikel
|
| 10 |
The expressive power of k-ary exclusion logic
|
Rönnholm, Raine
|
|
|
170 |
9 |
p. 1070-1099
|
artikel
|
Tijdschrift beschrijving