Volume 84, 2003

10th Workshop on Logic, Language, Information and Computation
29 July to 1 August 2003 (WoLLIC 2003)

• 
  Eric Allender: NL-printable sets and Nondeterministic Kolmogorov Complexity. 1-15
• 
  Lauri Hella: Quantifying over Quantifiers. 16
• 
  Jean-Baptiste Joinet: Calculus of structures and proof-nets. 17
• 
  Dale Miller: Encryption as an abstract data type. 18-29
• 
  Hans Rott: Economy and economics in the logic of theory change. 30-44
• 
  Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini: Intersection Types and Computational Rules. 45-59
• 
  Denis Béchet, Annie Foret: k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures. 60-72
• 
  Benjamín René Callejas Bedregal, André Nies: Lowness Properties of Reals and Hyper-Immunity. 73-79
• 
  Nachum Dershowitz, Iddo Tzameret: Gap Embedding for Well-Quasi-Orderings. 80-90
• 
  Marcelo Finger, Renata Wassermann: The Universe of Approximations. 91-104
• 
  Francisco Gutiérrez, Blas C. Ruiz: Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. 105-116
• 
  Sven Hartmann, Sebastian Link: On Functional Dependencies in Advanced Data Models. 117-128
• 
  Lauri Hella, Jose Maria Turull Torres: Expressibility of Higher Order Logics. 129-140
• 
  Yngve Lamo, Michal Walicki: Quantifier-free logic for multialgebraic theories. 141-153
• 
  Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro: A Programming Language for the Interval Geometric Machine. 154-165
• 
  Lutz Straßburger: System NEL is Undecidable. 166-177
• 
  Yoshitaka Suzuki, Satoshi Tojo: Fusion of Pedigreed Preferential Relations. 178-189
• 
  Leonardo B. Vana, Marcelo da S. Corrêa: A Tableau Method for the Lambek Calculus based on a Matrix Characterization. 190-204
• 
  Marek Zaionc: Statistics of implicational logic. 205-216
• 
  Richard Zuber: Some properties of intercategorial entailment. 217-228
• 
  Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo: Preface. 229-231