Electronic Notes in Theoretical Computer Science, ‎1571-0661

Journal

Publications

  1. 2010
  2. Published

    Geometry of Synthesis II: From Games to Delay-Insensitive Circuits

    Dan Ghica & Alex Smith, 6 Sep 2010, In: Electronic Notes in Theoretical Computer Science. 265, p. 301-324 24 p.

    Research output: Contribution to journalArticle

  3. 2009
  4. Published

    Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction

    Vincent Rahli, 2009, In: Electronic Notes in Theoretical Computer Science. 247, p. 85-101 17 p.

    Research output: Contribution to journalArticlepeer-review

  5. 2008
  6. Published

    Modelling Intracellular Fate of FGF Receptors With BioAmbients

    John Heath, 12 Dec 2008, In: Electronic Notes in Theoretical Computer Science. 220, 3, p. 181-197 17 p.

    Research output: Contribution to journalArticle

  7. 2006
  8. Published

    Preface

    Martin Escardo, Achim Jung & , 12 May 2006, In: Electronic Notes in Theoretical Computer Science. 155, 1 SPEC. ISS., p. 1-3 3 p.

    Research output: Contribution to journalEditorialpeer-review

  9. 2005
  10. Published

    Living with paradoxes

    Manfred Kerber, 1 Mar 2005, In: Electronic Notes in Theoretical Computer Science. 123, p. 151-163 13 p.

    Research output: Contribution to journalArticle

  11. 2004
  12. Published

    Electronic Notes in Theoretical Computer Science: Preface

    Martin Escardo & Achim Jung, 25 Oct 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 1-2 2 p.

    Research output: Contribution to journalConference articlepeer-review

  13. Published

    Synthetic topology of data types and classical spaces

    Martin Escardo, 1 Jan 2004, In: Electronic Notes in Theoretical Computer Science. 87, p. 21-156 136 p.

    Research output: Contribution to journalArticle

  14. 2001
  15. Published

    Hausdorff compactifications of topological function spaces via the theory of continuous lattices

    Martin Escardo, Mar 2001, In: Electronic Notes in Theoretical Computer Science. 40, p. 161 1 p.

    Research output: Contribution to journalConference articlepeer-review

Previous 1 2 Next