Computer logic - Congresses.
Overview
| Works: | 96 works in 71 publications in 71 languages | |
|---|---|---|
Titles
Advances in contemporary logic and computer science : = proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil /
by:
(Language materials, printed)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(Language materials, printed)
Computational Logic in Multi-Agent Systems = 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
by:
(Language materials, printed)
Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(Language materials, printed)
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(Language materials, printed)
Logic, language, and computation = 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers/
by:
(Language materials, printed)
Computer science logic = 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings/
by:
(Language materials, printed)
Computer science logic = 10th international workshop, CSL 96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers /
by:
(Language materials, printed)
Computer science logic = 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers /
by:
(Language materials, printed)
Computer science logic = 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings /
by:
(Language materials, printed)
Generalized quantifiers and computation = 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures /
by:
(Language materials, printed)
Computational logic - CL 2000 = First International Conference, London, UK, July 24-28, 2000 : proceedings /
by:
(Language materials, printed)
Computer science logic = 14th International Workshop, CSL 2000, annual conference of the EACSL, Fischbachau, Germany, August 21 - 26, 2000 : proceedings /
by:
(Language materials, printed)
Automated reasoning = First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /
by:
(Language materials, printed)
Computer science logic = 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002 : proceedings /
by:
(Language materials, printed)
Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by:
(Language materials, printed)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
(Language materials, printed)
Interactive theorem proving = First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
(Language materials, printed)
Logic, language, information and computation = 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 : proceedings /
by:
(Language materials, printed)
Inductive logic programming = 19th International Conference, ILP 2009, Leuven, Belgium, July 02-04, 2009 : revised papers /
by:
(Language materials, printed)
Knowledge engineering and knowledge management = EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(Electronic resources)
Dynamic logic = new trends and applications : first International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings /
by:
(Electronic resources)
Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings /
by:
(Electronic resources)
Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings /
by:
(Electronic resources)
Rules and reasoning = third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019 : proceedings /
by:
(Electronic resources)
Reversible computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 21st International Workshop, CASC 2019, Moscow, Russia, August 26-30, 2019 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings /
by:
(Electronic resources)
Reversible computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019 : proceedings /
by:
(Electronic resources)
Reversible computation = 13th International Conference, RC 2021, virtual event, July 7-8, 2021 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 23rd International Workshop, CASC 2021, Sochi, Russia, September 13-17, 2021 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 40th International Conference, SAFECOMP 2021, York, UK, September 8-10, 2021 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings /
by:
(Electronic resources)
Computer algebra in scientific computing = 22nd International Workshop, CASC 2020, Linz, Austria, September 14-18, 2020 : proceedings /
by:
(Electronic resources)
Rewriting logic and its applications = 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020 : revised selected papers /
by:
(Electronic resources)
Logical foundations of computer science = international symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022 : proceedings /
by:
(Electronic resources)
Reversible computation = 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
(Electronic resources)
Rewriting logic and its applications = 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022 : revised selected papers /
by:
(Electronic resources)
Automated reasoning = 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings /
by:
(Electronic resources)
Artificial intelligence logic and applications = the 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings /
by:
(Electronic resources)
Dynamic logic : new trends and applications = 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022 : revised selected papers /
by:
(Electronic resources)
Logic and its applications = 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023 : proceedings /
by:
(Electronic resources)
Reversible computation = 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023 : proceedings /
by:
(Electronic resources)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(Electronic resources)
Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings /
by:
(Electronic resources)
Automated reasoning = 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.. Part I /
by:
(Electronic resources)
Automated reasoning = 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024 : proceedings.. Part II /
by:
(Electronic resources)
Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
by:
(Electronic resources)
Rewriting logic and its applications = 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers /
by:
(Electronic resources)
Rules and reasoning = 8th international joint conference, RuleML+RR 2024, Bucharest, Romania, September 16-18, 2024 : proceedings /
by:
(Electronic resources)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(Language materials, printed)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(Language materials, printed)
Computer science logic = 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
by:
(Language materials, printed)
Types for proofs and programs = International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
by:
(Language materials, printed)
Computer science logic = 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
by:
(Language materials, printed)
Logic, language, and computation = 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : rvised selected papers /
by:
(Electronic resources)
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
(Electronic resources)
Theory and applications of formal argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Electronic resources)
Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings /
by:
(Electronic resources)
Logical foundations of computer science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, proceedings /
by:
(Electronic resources)
Dynamic logic = new trends and applications : second International Workshop, DaLi 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(Electronic resources)
Computer performance engineering = 16th European Workshop, EPEW 2019, Milan, Italy, November 28-29, 2019 : revised selected papers /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019 : revised selected papers /
by:
(Electronic resources)
Model-based safety and assessment = 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018 : revised selected papers /
by:
(Electronic resources)
Model-based safety and assessment = 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14-16, 2020 : proceedings /
by:
(Electronic resources)
Dynamic logic = new trends and applications : third International Workshop, DaLi 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
by:
(Electronic resources)
Automated reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.. Part II /
by:
(Electronic resources)
Automated reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020 : proceedings.. Part I /
by:
(Electronic resources)
Performance engineering and stochastic modeling = 17th European Workshop, EPEW 2021 and 26th International Conference, ASMTA 2021, virtual event, December 9-10 and December 13-14, 2021 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 5th International Joint Conference, RuleML+RR 2021, Leuven, Belgium, September 13-15, 2021 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021 : proceedings /
by:
(Electronic resources)
Language, logic, and computation = 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers /
by:
(Electronic resources)
Computer safety, reliability, and security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings /
by:
(Electronic resources)
Logic, language, information, and computation = 28th International Workshop, WOLLIC 2022, Iasi, Romania, September 20-23, 2022 : proceedings /
by:
(Electronic resources)
Model-based safety and assessment = 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings /
by:
(Electronic resources)
Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings /
by:
(Electronic resources)
Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings /
by:
(Electronic resources)
Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings /
by:
(Electronic resources)
Selected reflections in language, logic, and information = ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 student sessions : selected papers /
by:
(Electronic resources)
Dynamic logic = new trends and applications : 5th International Workshops, DaLi 2023, Tbilisi, Georgia, September 15-16, 2023 : revised selected papers /
by:
(Electronic resources)
Reversible computation = 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects