default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 48

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 48, Number 1, 10 July 1990

- view
  authority control:
- export record
  dblp key:
  - journals/apal/ComptonH90
- ask others
- share record
  persistent URL:
  - https://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
  authority control:
- export record
  dblp key:
  - journals/apal/Jackson90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Jackson90
Steve Jackson:
Partition Properties and Well-Ordered Sequences. 81-101

Volume 48, Number 2, 16 July 1990

- view
  authority control:
- export record
  dblp key:
  - journals/apal/McColm90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/McColm90
Gregory L. McColm:
Parametrization over Inductive Relations of a Bounded Number of Variables. 103-134
- view
  authority control:
- export record
  dblp key:
  - journals/apal/PalmgrenS90
- ask others
- share record
  persistent URL:
  - https://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
  authority control:
- export record
  dblp key:
  - journals/apal/BartoszynskiJ90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BartoszynskiJ90
Tomek Bartoszynski, Haim Judah:
Jumping with Random Reals. 197-213
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ChongD90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ChongD90
Chi Tat Chong, Rodney G. Downey:
Minimal Degrees Recursive in 1-Generic Degrees. 215-225
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ChongM90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ChongM90
Chi Tat Chong, K. J. Mourad:
The Degree of a Sigma_n Cut. 227-235
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Knight90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Knight90
Julia F. Knight:
Constructions by Transfinitely Many Workers. 237-259
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Krajicek90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Krajicek90
Jan Krajícek:
Exponentiation and Second-Order Bounded Arithmetic. 261-276
- view
  authority control:
- export record
  dblp key:
  - journals/apal/YakhnisY90
- ask others
- share record
  persistent URL:
  - https://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
  authority control:
- export record
  dblp key:
  - journals/apal/Downey90
- ask others
- share record
  persistent URL:
  - https://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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.