default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 91

> 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 91, Number 1, 12 January 1998

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Khoussainov98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Khoussainov98
Bakhadyr Khoussainov:
Randomness, Computability, and Algebraic Specifications. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Raffalli98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Raffalli98
Christophe Raffalli:
A Semantical Storage Operator Theorem for All Types. 17-31
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ButzJ98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ButzJ98
Carsten Butz, Peter T. Johnstone:
Classifying Toposes for First-Order Theories. 33-58
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Lombardi98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Lombardi98
Henri Lombardi:
Relecture constructive de la théorie d'Artin-Schreier. 59-92

Volume 91, Numbers 2-3, 24 February 1998

- view
  authority control:
- export record
  dblp key:
  - journals/apal/AndrekaGMNS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/AndrekaGMNS98
Hajnal Andréka, Steven Givant, Szabolcs Mikulás, István Németi, András Simon:
Notions of Density That Imply Representability in Algebraic Logic. 93-190
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Hamkins98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Hamkins98
Joel David Hamkins:
Destruction or Preservation as You Like It. 191-229
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Gallier98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Gallier98
Jean H. Gallier:
Typing Untyped lambda-Terms, or Reducibility Strikes Again! 231-270

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.