Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
7 results · clear filters Sort: newest oldest name
- International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016, LOPSTR)Computer and information sciencese105yt1
- International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)Computer and information sciencese105yr5
- International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2005, LOPSTR)Computer and information sciencese105yfr
- Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. (LOPSTR)Computer and information sciencese11h00t
- International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)Computer and information sciencese105y86
- 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)Computer and information sciencese11h0b4
- 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)Computer and information sciencese11h0a6
As JSON: https://labs.confref.org/api/search?discipline=Q21198&series=s10a7jy&country=GB