Electronic Notes in Theoretical Computer Science, Volume 205

Volume 205, April 2008

• Mauricio Ayala-Rincón, Edward Hermann Haeusler:
  Preface. 1-3
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine, J. B. Wells:
  Computerizing Mathematical Text with MathLang. 5-30
  Electronic Edition (link) BibTeX
• Mario R. F. Benevides, L. Menasché Schechter:
  Modal Expressiveness of Graph Properties. 31-47
  Electronic Edition (link) BibTeX
• Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso:
  Sequent Calculi for 'Generally'. 49-65
  Electronic Edition (link) BibTeX
• Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca:
  Soft Linear Logic and Polynomial Complexity Classes. 67-87
  Electronic Edition (link) BibTeX
• Alexandre Matos Arruda, Ana Teresa C. Martins:
  An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. 89-104
  Electronic Edition (link) BibTeX
• André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante:
  Maude Object-Oriented Action Tool. 105-121
  Electronic Edition (link) BibTeX
• Luis Carlos de Sousa Menezes:
  Aspect-Oriented Action Semantics Descriptions. 123-135
  Electronic Edition (link) BibTeX
• Gilles Dowek:
  On the Convergence of Reduction-based and Model-based Methods in Proof Theory. 137-144
  Electronic Edition (link) BibTeX