Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2 results · clear filters Sort: newest oldest name
- Mechanized Reasoning about Languages with Variable Binding, MERLIN 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001Computer and information sciencese11hnwc
- Workshop on Mechanized Reasoning About Languages with Variable Binding (MERLIN)Computer and information sciencess122zgr
As JSON: https://labs.confref.org/api/search?series=s122zgr&from=2000&to=2009