Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
13 results · clear filters Sort: newest oldest name
- International Symposium on Formal Methods (FM)MathematicsComputer and information sciencess109pnb
- International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR)Computer and information sciencess10a7qm
- International Conference on Logic Programming (ICLP)Computer and information sciencess109xek
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencess10a7nr
- 25th International Conference on Logic Programming (ICLP 2009, ICLP)Computer and information sciencese104hj0
- International Symposium on Functional and Logic Programming (FLOPS 2008, FLOPS)Computer and information sciencese103ap1
- Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008Computer and information sciencese11h0t5
- Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, ALPSWS 2007, Porto, Portugal, September 13th, 2007Computer and information sciencese118zm5
- Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007Computer and information sciencese11h1mg
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zdv
- International Symposium on Formal Methods (FM 2003, FME)Computer and information sciencese103b37
- International Symposium on Formal Methods (FM 2002, FME)Computer and information sciencese103b29
- International Symposium on Formal Methods (FM 2001)MathematicsComputer and information sciencese129rhf
As JSON: https://labs.confref.org/api/search?discipline=Q275603&from=2000&to=2009