Annals of Pure and Applied Logic, Volume 48

Volume 48, Number 1, 10 July 1990

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/ComptonH90
- ask others
Kevin J. Compton, C. Ward Henson: A Uniform Method for Proving Lower Bounds on the Computational Complexity of Logical Theories. 1-79
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Jackson90
- ask others
Steve Jackson: Partition Properties and Well-Ordered Sequences. 81-101

Volume 48, Number 2, 16 July 1990

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/McColm90
- ask others
Gregory L. McColm: Parametrization over Inductive Relations of a Bounded Number of Variables. 103-134
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/PalmgrenS90
- ask others
Erik Palmgren, Viggo Stoltenberg-Hansen: Domain Interpretations of Martin-Löf's Partial Type Theory. 135-196

Volume 48, Number 3, 31 August 1990

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/BartoszynskiJ90
- ask others
Tomek Bartoszynski, Haim Judah: Jumping with Random Reals. 197-213
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/ChongD90
- ask others
Chi Tat Chong, Rodney G. Downey: Minimal Degrees Recursive in 1-Generic Degrees. 215-225
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/ChongM90
- ask others
Chi Tat Chong, K. J. Mourad: The Degree of a Sigma_n Cut. 227-235
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Knight90
- ask others
Julia F. Knight: Constructions by Transfinitely Many Workers. 237-259
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Krajicek90
- ask others
Jan Krajícek: Exponentiation and Second-Order Bounded Arithmetic. 261-276
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/YakhnisY90
- ask others
Alexander Yakhnis, Vladimir Yakhnis: Extension of Gurevich-Harrington's Restricted Memory Determinacy Theorem: A Criterion for the Winning Player and an Explicit Class of Winning Strategies. 277-297
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/Downey90
- ask others
Rodney G. Downey: Corrigendum: Correction to ``Undecidability of L(F_infty) and Other Lattices of r.e. Substructures''. 299-301