Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
35 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
- International Symposium on Functional and Logic Programming (FLOPS 1999, FLOPS)Computer and information sciencese103ahb
- FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume IComputer and information sciencese113jg4
- Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998Computer and information sciencese119118
- Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, held in conjunction with the Joint International Conference and Symposium on Logic Programming, Manchester, UK, Saturday 20th June, 1998Computer and information sciencese119126
- International Symposium on Programming Language Implementation and Logic Programming (ALP 1996, ALP)Computer and information sciencese10701e
- International Symposium on Formal Methods (FM 1994)MathematicsComputer and information sciencese129rjd
- Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994Computer and information sciencese1190m2
- ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994Computer and information sciencese1190n0
- ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994Computer and information sciencese1190py
- ICLP 1994 Workshop W11: Logic Programming and Education, Santa Margherita Ligure, Italy, June 1994Computer and information sciencese1190qw
- ICLP 1994 Workshop W12: Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994Computer and information sciencese1190rt
- ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994Computer and information sciencese1190sr
- Sixth Workshop on Logic Programming Environments, ICLP 1994 post Conference Workshop W4, Technical Report, Institutt for datateknikk og telematikk, NorgesComputer and information sciencese1190tp
- Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, June 1994Computer and information sciencese1190vm
- ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, Santa Margherita Ligure, Italy, June 1994Computer and information sciencese1190wj
- Integration of Declarative Paradigms, Proceedings of the ICLP'94 Post-Conference Workshop. Max-Planck-Institut für Informatik, Saarbrücken, Germany, Report MPI-94-224, June 1994Computer and information sciencese1190xg
- Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993Computer and information sciencese1190ef
- Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems - Concurrent, Distributed, and Parallel Implementations of Logic Programming SystemsComputer and information sciencese1190fd
- Proceedings of the ICLP'93 Post Conference Workshop on: Concurrent, Distributed & Parallel Implementations of Logic Programming Systems. Budapest, Hungary, June 25, 1993Computer and information sciencese1190ga
- Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993Computer and information sciencese1190h8
- Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, Budapest, Hungary, June 24, 1993Computer and information sciencese1190j6
As JSON: https://labs.confref.org/api/search?discipline=Q275603&from=1990&to=1999