Volume 161; Issue 3

Annals of Pure and Applied Logic

Volume 161; Issue 3
1

Preface

Sergei Artemov
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 152 KB
english, 2009
3

Reasoning about sequences of memory states

Rémi Brochenin, Stéphane Demri, Etienne Lozes
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.62 MB
english, 2009
4

Finite automata presentable abelian groups

André Nies, Pavel Semukhin
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 622 KB
english, 2009
6

A modal provability logic of explicit and implicit proofs

Evan Goris
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 830 KB
english, 2009
9

Realizations and LP

Melvin Fitting
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.08 MB
english, 2009
10

On complexity of Ehrenfeucht–Fraïssé games

Bakhadyr Khoussainov, Jiamou Liu
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 771 KB
english, 2009
11

Hypersequent calculi for intuitionistic logic with classical atoms

Hidenori Kurokawa
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 990 KB
english, 2009
12

Contents

Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 135 KB
english, 2009
13

The complexity of recursive constraint satisfaction problems

Victor W. Marek, Jeffrey B. Remmel
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 701 KB
english, 2009
15

Model-theoretic complexity of automatic structures

Bakhadyr Khoussainov, Mia Minnes
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 686 KB
english, 2009
16

Weighted o-minimal hybrid systems

Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier
Journal:
Annals of Pure and Applied Logic
Year:
2009
Language:
english
File:
PDF, 1.51 MB
english, 2009