Volume 26; Issue 3

Journal of Logic and Computation

Volume 26; Issue 3
1

Temporal logics on strings with prefix relation

Demri, Stéphane, Deters, Morgan
Journal:
Journal of Logic and Computation
Year:
2016
Language:
english
File:
PDF, 328 KB
english, 2016
2

On constraint satisfaction problems below P

Egri, László
Journal:
Journal of Logic and Computation
Year:
2016
Language:
english
File:
PDF, 722 KB
english, 2016
3

The collapse of the bounded width hierarchy

Barto, Libor
Journal:
Journal of Logic and Computation
Year:
2016
Language:
english
File:
PDF, 221 KB
english, 2016
4

Noise robustness and stochastic tolerance of OT error-driven ranking algorithms

Magri, Giorgio
Journal:
Journal of Logic and Computation
Year:
2016
Language:
english
File:
PDF, 723 KB
english, 2016
5

Description logics of context

Klarman, Szymon, Gutiérrez-Basulto, Víctor
Journal:
Journal of Logic and Computation
Year:
2016
Language:
english
File:
PDF, 1.03 MB
english, 2016
6

Quasi-varieties and initial semantics for hybridized institutions

Diaconescu, Răzvan
Journal:
Journal of Logic and Computation
Year:
2016
Language:
english
File:
PDF, 968 KB
english, 2016
7

On the Priorean temporal logic with [ d ] over the real line

Gatto, Alberto
Journal:
Journal of Logic and Computation
Year:
2016
Language:
english
File:
PDF, 273 KB
english, 2016