Lindau, Germany, 5 July 1998

- Didier Galmiche:
**Preface.***Electronic Edition*(link) BibTeX - Uwe Egly, Stephan Schmitt:
**Intuitionistic Proof Transformations: Complexity and Applications.***Electronic Edition*(link) BibTeX - Michael Franssen:
**Embedding First-Order Tableaux into a Pure Type System.***Electronic Edition*(link) BibTeX - Didier Galmiche, Bruno Martin:
**Proof nets Construction and Automated Deduction in Non-Commutative Linear Logic.***Electronic Edition*(link) BibTeX - Dominique Larchey-Wendling, Didier Galmiche:
**Provability in Intuitionistic Linear Logic from a New Interpretation on Petri nets.***Electronic Edition*(link) BibTeX - Frank Pfenning, Carsten Schürmann:
**Algorithms for Equality and Unification in the Presence of Notational Definitions.***Electronic Edition*(link) BibTeX - Luis Pinto, Roy Dyckhoff:
**Sequent Calculi for the Normal Terms of the - and - Calculi.***Electronic Edition*(link) BibTeX - David J. Pym:
**Logic Programming with Bunched Implications.***Electronic Edition*(link) BibTeX