ask others

Annals of Pure and Applied Logic, Volume 48

> Home > Journals > Annals of Pure and Applied Logic

Volume 48, Number 1, 10 July 1990

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/ComptonH90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/ComptonH90
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
  dblp key:
  - journals/apal/Jackson90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/Jackson90
Steve Jackson:
Partition Properties and Well-Ordered Sequences. 81-101

Volume 48, Number 2, 16 July 1990

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/McColm90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/McColm90
Gregory L. McColm:
Parametrization over Inductive Relations of a Bounded Number of Variables. 103-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/PalmgrenS90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/PalmgrenS90
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
  dblp key:
  - journals/apal/BartoszynskiJ90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/BartoszynskiJ90
Tomek Bartoszynski, Haim Judah:
Jumping with Random Reals. 197-213
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/ChongD90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/ChongD90
Chi Tat Chong, Rodney G. Downey:
Minimal Degrees Recursive in 1-Generic Degrees. 215-225
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/ChongM90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/ChongM90
Chi Tat Chong, K. J. Mourad:
The Degree of a Sigma_n Cut. 227-235
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/Knight90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/Knight90
Julia F. Knight:
Constructions by Transfinitely Many Workers. 237-259
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/Krajicek90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/Krajicek90
Jan Krajícek:
Exponentiation and Second-Order Bounded Arithmetic. 261-276
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/apal/YakhnisY90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/YakhnisY90
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
  dblp key:
  - journals/apal/Downey90
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/apal/Downey90
Rodney G. Downey:
Corrigendum: Correction to ``Undecidability of L(F_infty) and Other Lattices of r.e. Substructures''. 299-301