Annals of Pure and Applied Logic, Volume 134

Volume 134, Number 1, June 2005

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

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

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

Last update Wed May 22 17:00:47 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page