| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A mechanisation of some context-free language theory in HOL4
|
Barthwal, Aditi
|
|
2014
|
80 |
2 |
p. 346-362
17 p.
|
article
|
| 2 |
An approach for lifetime reliability analysis using theorem proving
|
Abbasi, Naeem
|
|
2014
|
80 |
2 |
p. 323-345
23 p.
|
article
|
| 3 |
A representation theorem for (q-)holonomic sequences
|
Kotek, T.
|
|
2014
|
80 |
2 |
p. 363-374
12 p.
|
article
|
| 4 |
Belief revision within fragments of propositional logic
|
Creignou, Nadia
|
|
2014
|
80 |
2 |
p. 427-449
23 p.
|
article
|
| 5 |
Branching-time logics with path relativisation
|
Latte, Markus
|
|
2014
|
80 |
2 |
p. 375-389
15 p.
|
article
|
| 6 |
Contents
|
|
|
2014
|
80 |
2 |
p. OBC-
1 p.
|
article
|
| 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.
|
article
|
| 8 |
Deciding unique decodability of bigram counts via finite automata
|
Kontorovich, Aryeh
|
|
2014
|
80 |
2 |
p. 450-456
7 p.
|
article
|
| 9 |
Displacement logic for anaphora
|
Morrill, Glyn
|
|
2014
|
80 |
2 |
p. 390-409
20 p.
|
article
|
| 10 |
Editorial Board
|
|
|
2014
|
80 |
2 |
p. IFC-
1 p.
|
article
|
| 11 |
Editorʼs foreword: WoLLIC 2010
|
Dawar, Anuj
|
|
2014
|
80 |
2 |
p. 321-322
2 p.
|
article
|
| 12 |
Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions
|
Reiser, R.H.S.
|
|
2014
|
80 |
2 |
p. 410-425
16 p.
|
article
|
| 13 |
On the role of complementation in implicit language equations and relations
|
Ionescu, Adrian
|
|
2014
|
80 |
2 |
p. 457-467
11 p.
|
article
|
| 14 |
Preprocessing subgraph and minor problems: When does a small vertex cover help?
|
Fomin, Fedor V.
|
|
2014
|
80 |
2 |
p. 468-495
28 p.
|
article
|
Journal description