Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

37 results · clear filters Sort: newest oldest name

  1. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2000-07-24/28 · London, United Kingdom
    Computer and information sciences
    e105ya2
  2. Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. (LOPSTR)
    2000-01-01 · London, United Kingdom
    Computer and information sciences
    e11h00t
  3. Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers.
    2000 · United Kingdom
    Computer and information sciences
    e11h01r
  4. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1999-09-22/24 · Venice, Italy
    Computer and information sciences
    e105y94
  5. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1998-06-15/19 · Manchester, United Kingdom
    Computer and information sciences
    e105y86
  6. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1997-07-10/12 · Leuven, Belgium
    Computer and information sciences
    e105y78
  7. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1996-08-28/30 · Stockholm, Sweden
    Computer and information sciences
    e105y6a
  8. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1995-09-20/22 · Utrecht
    Computer and information sciences
    e105y5c
  9. Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings (LOPSTR, META)
    1994-06-20/21 · Pisa, Italy
    Computer and information sciences
    e11h0d0
  10. Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 (LOPSTR)
    1993-07-07/09 · Ottignies-Louvain-la-Neuve, Belgium
    Computer and information sciences
    e11h0c2
  11. Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992 (LOPSTR)
    1992-07-02/03 · University of Manchester, United Kingdom
    Computer and information sciences
    e11h0b4
  12. Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991 (LOPSTR)
    1991-07-04/05 · University of Manchester, United Kingdom
    Computer and information sciences
    e11h0a6

As JSON: https://labs.confref.org/api/search?kind=event&series=s10a7jy&page=2