default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 134

> 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 134, Number 1, June 2005

Papers presented at the 9th Workshop on Logic, Language, Information and Computation (WoLLIC'2002)

- view
  authority control:
- export record
  dblp key:
  - journals/apal/QueirozPA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/QueirozPA05
Ruy J. G. B. de Queiroz, Bruno Poizat, Sergei N. Artëmov:
WoLLIC'2002. 1-4
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Ayala-RinconMK05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Ayala-RinconMK05
Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine:
Comparing and implementing calculi of explicit substitutions with eta-reduction. 5-41
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Bianconi05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Bianconi05
Ricardo Bianconi:
Undefinability results in o-minimal expansions of the real numbers. 43-51
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Cucker05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Cucker05
Felipe Cucker:
On sparseness, reducibilities, and complexity. 53-61
- view
  authority control:
- export record
  dblp key:
  - journals/apal/OsorioPA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/OsorioPA05
Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
Safe beliefs for propositional theories. 63-82
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ParikhV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ParikhV05
Rohit Parikh, Jouko A. Väänänen:
Finite information logic. 83-93

Volume 134, Numbers 2-3, July 2005

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Berg05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Berg05
Benno van den Berg:
Inductive types and exact completion. 95-121
- view
  authority control:
- export record
  dblp key:
  - journals/apal/AbramskyL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/AbramskyL05
Samson Abramsky, Marina Lenisa:
Linear realizability and full completeness for typed lambda-calculi. 122-168
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Blossier05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Blossier05
Thomas Blossier:
Subgroups of the additive group of a separably closed field. 169-216
- view
  authority control:
- export record
  dblp key:
  - journals/apal/LaurentQF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/LaurentQF05
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco:
Polarized and focalized linear and classical proofs. 217-264
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GlassMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GlassMP05
Andrew M. W. Glass, Angus Macintyre, Françoise Point:
Free abelian lattice-ordered groups. 265-283
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Studer05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Studer05
Thomas Studer:
Explicit mathematics: power types and overloading. 284-302
- view
  authority control:
- export record
  dblp key:
  - journals/apal/BerarducciOPP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BerarducciOPP05
Alessandro Berarducci, Margarita Otero, Ya'acov Peterzil, Anand Pillay:
A descending chain condition for groups definable in o-minimal structures. 303-313

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.