Information and Computation, Volume 193

Volume 193, Number 1, 25 August 2004

• Yoriyuki Yamagata:
  Strong normalization of the second-order symmetric lambda mu -calculus. 1-20
  Electronic Edition (link) BibTeX
• Andrea Asperti, Paolo Coppola, Simone Martini:
  (Optimal) duplication is not elementary recursive. 21-56
  Electronic Edition (link) BibTeX
• Rocco A. Servedio:
  On learning monotone DNF under product distributions. 57-74
  Electronic Edition (link) BibTeX

Volume 193, Number 2, 15 September 2004

• Stephen Alstrup, Thore Husfeldt, Theis Rauhe:
  Dynamic nested brackets. 75-83
  Electronic Edition (link) BibTeX
• Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
  Finite-tree analysis for constraint logic-based languages. 84-116
  Electronic Edition (link) BibTeX
• Eric Badouel, Philippe Darondeau:
  The synthesis of Petri nets from path-automatic specifications. 117-135
  Electronic Edition (link) BibTeX