Electronic Notes in Theoretical Computer Science, Volume 17

Volume 17, 1998

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