Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
85 results · clear filters Sort: newest oldest name
- 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
- Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993Computer and information sciencese1190k4
- Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992Computer and information sciencese1190bn
- Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992Computer and information sciencese1190ck
- Workshop on Concurrent and Parallel Implementations (sessions A and B), held at IJCSLP'92, Washington, DC, USA, November 1992Computer and information sciencese1190dh
- Proceedings of the 3rd UK Conference on Logic Programming, Edinburgh, 10-12 April 1991 (ALPUK 1991, ALPUK)Computer and information sciencese10eyf6
As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q275603&page=3