default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 77

> 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 77, Number 1, 8 January 1996

- view
  authority control:
- export record
  dblp key:
  - journals/apal/DAquino96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DAquino96
Paola D'Aquino:
Pell Equations and Exponentiation in Fragments of Arithmetic. 1-34
- view
  authority control:
- export record
  dblp key:
  - journals/apal/FortiH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/FortiH96
Marco Forti, Furio Honsell:
Choice Principles in Hyperuniverses. 35-52
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Hjorth96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Hjorth96
Greg Hjorth:
Pi¹₂ Wadge Degrees. 53-74
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pillay96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pillay96
Anand Pillay:
Definable Sets in Generic Complex Tori. 75-80
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Tent96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Tent96
Katrin Tent:
Classifying Totally Categorical Groups (and Others). 81-100

Volume 77, Number 2, 29 January 1996

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BluteS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BluteS96
Richard Blute, Philip J. Scott:
Linear Läuchli Semantics. 101-142
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ChenH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ChenH96
Zhixiang Chen, Steven Homer:
The Bounded Injury Priority Method and the Learnability of Unions of Rectangles. 143-168
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GradelM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GradelM96
Erich Grädel, Gregory L. McColm:
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic. 169-199

Volume 77, Number 3, 19 February 1996

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ehrhard96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ehrhard96
Thomas Ehrhard:
Projecting Sequential Algorithms on Strongly Stable Functions. 201-244
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Hatzikiriakou96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Hatzikiriakou96
Kostas Hatzikiriakou:
WKL₀ and Stone's Separation Theorem for Convex Sets. 245-249
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MichauxV96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MichauxV96
Christian Michaux, Roger Villemaire:
Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. 251-277
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Talayco96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Talayco96
Daniel E. Talayco:
Applications of Cohomology to Set Theory II: Todorcevic Trees. 279-299

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.