| 2003 | 10th Workshop on Logic, Language, Information and Computation, WoLLIC 2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003 Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo |
| 2003 | A Programming Language for the Interval Geometric Machine. Renata Hax Sander Reiser, Antônio Carlos da Rocha Costa, Graçaliz Pereira Dimuro |
| 2003 | A Tableau Method for the Lambek Calculus based on a Matrix Characterization. Leonardo B. Vana, Marcelo da Silva Corrêa |
| 2003 | Calculus of structures and proof-nets. Jean-Baptiste Joinet |
| 2003 | Cut Elimination in a Class of Sequent Calculi for Pure Type Systems. Francisco Gutiérrez, Blas C. Ruiz |
| 2003 | Economy and economics in the logic of theory change. Hans Rott |
| 2003 | Encryption as an abstract data type. Dale Miller |
| 2003 | Expressibility of Higher Order Logics. Lauri Hella, Jose Maria Turull Torres |
| 2003 | Fusion of Pedigreed Preferential Relations. Yoshitaka Suzuki, Satoshi Tojo |
| 2003 | Gap Embedding for Well-Quasi-Orderings. Nachum Dershowitz, Iddo Tzameret |
| 2003 | Intersection Types and Computational Rules. Fabio Alessi, Franco Barbanera, Mariangiola Dezani-Ciancaglini |
| 2003 | Lowness Properties of Reals and Hyper-Immunity. Benjamín René Callejas Bedregal, André Nies |
| 2003 | NL-printable sets and Nondeterministic Kolmogorov Complexity. Eric Allender |
| 2003 | On Functional Dependencies in Advanced Data Models. Sven Hartmann, Sebastian Link |
| 2003 | Preface. Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo |
| 2003 | Quantifier-free logic for multialgebraic theories. Yngve Lamo, Michal Walicki |
| 2003 | Quantifying over Quantifiers. Lauri Hella |
| 2003 | Some properties of intercategorial entailment. Richard Zuber |
| 2003 | Statistics of implicational logic. Marek Zaionc |
| 2003 | System NEL is Undecidable. Lutz Straßburger |
| 2003 | The Universe of Approximations. Marcelo Finger, Renata Wassermann |
| 2003 | k-Valued Non-Associative Lambek Grammars are Learnable from Function-Argument Structures. Denis Béchet, Annie Foret |