default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 75

> 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 75, Numbers 1-2, 12 September 1995

Special Issue Invited papers presented at the "Conference on Proof Theory, Provability Logic, and Computation" 20-24 March 1994, Berne, Switzerland

- no documents available
  - details & citations
- export record
  dblp key:
  - journals/apal/ArtemovBEFJV95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ArtemovBEFJV95
Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser:
Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Log. 75(1-2): 1 (1995)
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BaazZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BaazZ95
Matthias Baaz, Richard Zach:
Generalizing Theorems in Real Closed Fields. 3-23
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Beklemishev95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Beklemishev95
Lev D. Beklemishev:
Iterated Local Reflection Versus Iterated Consistency. 25-48
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BerarducciD95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BerarducciD95
Alessandro Berarducci, Paola D'Aquino:
Delta₀-Complexity of the Relation y = \prod_{i <= n} F(i). 49-56
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Buchholz95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Buchholz95
Wilfried Buchholz:
Proof-Theoretic Analysis of Termination Proofs. 57-65
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Buss95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Buss95
Samuel R. Buss:
Relating the Bounded Arithmetic and Polynomial Time Hierarchies. 67-77
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ferreira95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ferreira95
Fernando Ferreira:
What are the forall Sigma^b₁-Consequences of T¹₂ and T²₂? 79-88
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Glass95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Glass95
Thomas Glaß:
Understanding Uniformity in Feferman's Explicit Mathematics. 89-106
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Kanovich95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Kanovich95
Max I. Kanovich:
Petri Nets, Horn Programs, Linear Logic and Vector Games. 107-135
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Kopylov95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Kopylov95
Alexey P. Kopylov:
On NP-Completeness in Linear Logic. 137-152
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Niggl95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Niggl95
Karl-Heinz Niggl:
Towards the Computational Complexity of PR^omega-Terms. 153-178
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Pentus95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Pentus95
Mati Pentus:
Models for the Lambek Calculus. 179-213

Volume 75, Number 3, 27 October 1995

- view
  authority control:
- export record
  dblp key:
  - journals/apal/AshK95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/AshK95
Christopher J. Ash, Julia F. Knight:
Possible Degrees in Recursive Copies. 215-221
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Barker95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Barker95
Ewan J. Barker:
Back and Forth Relations for Reduced Abelian p-Groups. 223-249
- view
  authority control:
- export record
  dblp key:
  - journals/apal/CummingsS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/CummingsS95
James Cummings, Saharon Shelah:
Cardinal Invariants Above the Continuum. 251-268
- view
  authority control:
- export record
  dblp key:
  - journals/apal/NiesS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/NiesS95
André Nies, Richard A. Shore:
Interpreting True Arithmetic in the Theory of the r.e. Truth Table Degrees. 269-311

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.