Annals of Pure and Applied Logic, Volume 135

Volume 135, Numbers 1-3, September 2005

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/WijesekeraN05
- ask others
Duminda Wijesekera, Anil Nerode: Tableaux for constructive concurrent dynamic logic. 1-72
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/FerreiraO05
- ask others
Fernando Ferreira, Paulo Oliva: Bounded functional interpretation. 73-112
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Tressl05
- ask others
Marcus Tressl: The elementary theory of Dedekind cuts in polynomially bounded structures. 113-134
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Ojakian05
- ask others
Kerry Ojakian: Upper and lower Ramsey bounds in bounded arithmetic. 135-150
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Veldman05
- ask others
Wim Veldman: Two simple sets that are not positively Borel. 151-209
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Sureson05
- ask others
Claude Sureson: A generalization of von Neumann regularity. 210-242
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Palmgren05
- ask others
Erik Palmgren: Constructive completions of ordered sets, groups and fields. 243-262
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/DixonBF05
- ask others
Clare Dixon, Alexander Bolotov, Michael Fisher: Alternating automata and temporal logic normal forms. 263-285
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Kowalski05
- ask others
Piotr Kowalski: Geometric axioms for existentially closed Hasse fields. 286-302