Electronic Notes in Theoretical Computer Science, Volume 140

Volume 140, 18 November 2005

• Pierre Lescanne, René David, Marek Zaionc:
  Preface. 1
  Electronic Edition (link) BibTeX
• Bartlomiej Bosek, Piotr Micek:
  Variants of Online Chain Partition Problem of Posets. 3-13
  Electronic Edition (link) BibTeX
• Przemyslaw Broniek:
  On-line Chain Partitioning as a Model for Real-time Scheduling. 15-29
  Electronic Edition (link) BibTeX
• Karim Nour, Khelifa Saber:
  A Semantics of Realisability for the Classical Propositional Natural Deduction. 31-39
  Electronic Edition (link) BibTeX
• Marek Zaionc:
  Probabilistic Approach to the Lambda Definability for Fourth Order Types. 41-54
  Electronic Edition (link) BibTeX
• Patrick Thevenon:
  Validation of Proofs Using PhoX. 55-66
  Electronic Edition (link) BibTeX
• Jakub Kozik:
  Conditional Densities of Regular Languages. 67-79
  Electronic Edition (link) BibTeX
• Grzegorz Matecki:
  Asymptotic Density for Equivalence. 81-91
  Electronic Edition (link) BibTeX
• Jean Duprat:
  About Constructive vectors. 93-100
  Electronic Edition (link) BibTeX
• René David, Karim Nour:
  Why the Usual Candidates of Reducibility Do Not Work for the Symmetric lamba-my-calculus. 101-111
  Electronic Edition (link) BibTeX
• Pawel Waszkiewicz:
  Approximation Simply Characterized. 113-117
  Electronic Edition (link) BibTeX