default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 155

> 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 155, Number 1, August 2008

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BrodheadLL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BrodheadLL08
Paul Brodhead, Angsheng Li, Weilin Li:
Continuity of capping in C_bT. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ShelahU08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ShelahU08
Saharon Shelah, Alexander Usvyatsov:
More on SOP₁ and SOP₂. 16-31
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Rybakov08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Rybakov08
Vladimir V. Rybakov:
Linear temporal logic with until and next, logical consecutions. 32-45
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Doberkat08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Doberkat08
Ernst-Erich Doberkat:
Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence. 46-68

Volume 155, Number 2, September 2008

- view
  authority control:
- export record
  dblp key:
  - journals/apal/SorbiT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/SorbiT08
Andrea Sorbi, Sebastiaan Terwijn:
Intermediate logics and factors of the Medvedev lattice. 69-85
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Slomczynska08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Slomczynska08
Katarzyna Slomczynska:
Free equivalential algebras. 86-96
- view
  authority control:
- export record
  dblp key:
  - journals/apal/KimKT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KimKT08
Byunghan Kim, Alexei S. Kolesnikov, Akito Tsuboi:
Generalized amalgamation and n-simplicity. 97-114
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MogelbergBR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MogelbergBR08
Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini:
Synthetic domain theory and models of linear Abadi & Plotkin logic. 115-133

Volume 155, Number 3, October 2008

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Buechler08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Buechler08
Steven Buechler:
Vaught's conjecture for superstable theories of finite rank. 135-172
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GiamberardinoF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GiamberardinoF08
Paolo Di Giamberardino, Claudia Faggian:
Proof nets sequentialisation in multiplicative linear logic. 173-182
- view
  authority control:
- export record
  dblp key:
  - journals/apal/AguzzoliGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/AguzzoliGM08
Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra:
Gödel algebras free over finite distributive lattices. 183-193
- view
  authority control:
- export record
  dblp key:
  - journals/apal/RazT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/RazT08
Ran Raz, Iddo Tzameret:
Resolution over linear equations and multilinear proofs. 194-224
- view
  authority control:
- export record
  dblp key:
  - journals/apal/MillarS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/MillarS08
Jessica Millar, Gerald E. Sacks:
Atomic models higher up. 225-241

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.