default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 53

> 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 53, Number 1, 8 July 1991

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Allen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Allen91
Bill Allen:
Arithmetizing Uniform NC. 1-50
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Basarab91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Basarab91
Serban A. Basarab:
Relative Elimination of Quantifiers for Henselian Valued Fields. 51-74
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Buss91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Buss91a
Samuel R. Buss:
The Undecidability of k-Provability. 75-102

Volume 53, Number 2, 19 July 1991

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Holmes91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Holmes91
M. Randall Holmes:
Systems of Combinatory Logic Related to Quine's 'New Foundations'. 103-133
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Reed91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Reed91
Robert C. Reed:
A Decidable Ehrenfeucht Theory with Exactly Two Hyperarithmetic Models. 135-168
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Seese91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Seese91
Detlef Seese:
The Structure of Models of Decidable Monadic Theories of Graphs. 169-195

Volume 53, Number 3, 19 September 1991

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Gallier91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Gallier91
Jean H. Gallier:
What's So Special About Kruskal's Theorem and the Ordinal Gamma₀? A Survey of Some Results in Proof Theory. 199-260
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Just91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Just91
Winfried Just:
A More Direct Proof of a Result of Shelah. 261-267
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Razenj91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Razenj91
Vladimir Razenj:
On-Dimensional Groups over an o-Minimal Structure. 269-277
- view
  authority control:
- export record
  dblp key:
  - journals/apal/NesinPR91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/NesinPR91
Ali Nesin, Anand Pillay, Vladimir Razenj:
Groups of Dimension Two and Three Over o-Minimal Structures. 279-296

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.