Annals of Pure and Applied Logic
, Volume 135
Volume 135, Numbers 1-3, September 2005
Duminda Wijesekera
,
Anil Nerode
:
Tableaux for constructive concurrent dynamic logic.
1-72
Fernando Ferreira
,
Paulo Oliva
:
Bounded functional interpretation.
73-112
Marcus Tressl
:
The elementary theory of Dedekind cuts in polynomially bounded structures.
113-134
Kerry Ojakian
:
Upper and lower Ramsey bounds in bounded arithmetic.
135-150
Wim Veldman
:
Two simple sets that are not positively Borel.
151-209
Claude Sureson
:
A generalization of von Neumann regularity.
210-242
Erik Palmgren
:
Constructive completions of ordered sets, groups and fields.
243-262
Clare Dixon
,
Alexander Bolotov
,
Michael Fisher
:
Alternating automata and temporal logic normal forms.
263-285
Piotr Kowalski
:
Geometric axioms for existentially closed Hasse fields.
286-302
Copyright ©
Fri Nov 27 19:49:10 2009 by
Michael Ley
(
ley@uni-trier.de
)