nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A mechanisation of some context-free language theory in HOL4
|
Barthwal, Aditi |
|
2014 |
80 |
2 |
p. 346-362 17 p. |
artikel |
2 |
An approach for lifetime reliability analysis using theorem proving
|
Abbasi, Naeem |
|
2014 |
80 |
2 |
p. 323-345 23 p. |
artikel |
3 |
A representation theorem for (q-)holonomic sequences
|
Kotek, T. |
|
2014 |
80 |
2 |
p. 363-374 12 p. |
artikel |
4 |
Belief revision within fragments of propositional logic
|
Creignou, Nadia |
|
2014 |
80 |
2 |
p. 427-449 23 p. |
artikel |
5 |
Branching-time logics with path relativisation
|
Latte, Markus |
|
2014 |
80 |
2 |
p. 375-389 15 p. |
artikel |
6 |
Contents
|
|
|
2014 |
80 |
2 |
p. OBC- 1 p. |
artikel |
7 |
Corrigendum to “Uniform constant-depth threshold circuits for division and iterated multiplication” [J. Comput. System Sci. 65 (4) (2002) 695–716]
|
Hesse, William |
|
2014 |
80 |
2 |
p. 496-497 2 p. |
artikel |
8 |
Deciding unique decodability of bigram counts via finite automata
|
Kontorovich, Aryeh |
|
2014 |
80 |
2 |
p. 450-456 7 p. |
artikel |
9 |
Displacement logic for anaphora
|
Morrill, Glyn |
|
2014 |
80 |
2 |
p. 390-409 20 p. |
artikel |
10 |
Editorial Board
|
|
|
2014 |
80 |
2 |
p. IFC- 1 p. |
artikel |
11 |
Editorʼs foreword: WoLLIC 2010
|
Dawar, Anuj |
|
2014 |
80 |
2 |
p. 321-322 2 p. |
artikel |
12 |
Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions
|
Reiser, R.H.S. |
|
2014 |
80 |
2 |
p. 410-425 16 p. |
artikel |
13 |
On the role of complementation in implicit language equations and relations
|
Ionescu, Adrian |
|
2014 |
80 |
2 |
p. 457-467 11 p. |
artikel |
14 |
Preprocessing subgraph and minor problems: When does a small vertex cover help?
|
Fomin, Fedor V. |
|
2014 |
80 |
2 |
p. 468-495 28 p. |
artikel |