Proceedings 37th International Conference on Logic Programming (Technical Communications)

DOI10.4204/EPTCS.345MaRDI QIDQ5082015zbMATH OpenOpenAlexFDO

Authors

Publication date 19 June 2022

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL http://eptcs.web.cse.unsw.edu.au/content.cgi?ICLP2021

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8--13, 2007. Proceedings
• Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18--24, 2020
• scientific article; zbMATH DE number 7741029
• Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20--25, 2019
• scientific article; zbMATH DE number 7021568
• Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020
• scientific article; zbMATH DE number 7030641
• Front Matter, Table of Contents, Preface, Conference Organization
• scientific article; zbMATH DE number 6677438
• Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6--10, 2011

Cited in

(8)

• Proceedings of the 35th international conference on logic programming (technical communications), ICLP 2019, Las Cruces, USA, September 20--25, 2019
• scientific article; zbMATH DE number 7030641 (Why is no real title available?)
• scientific article; zbMATH DE number 51544 (Why is no real title available?)
• LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8--12, 2017. Selected papers
• Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18--24, 2020
• Editorial: 29th international conference on logic programming special issue -- addendum
• LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17--21, 2018. Selected papers
• Introduction to the 37th international conference on logic programming special issue. I.

This page was built for publication: Proceedings 37th International Conference on Logic Programming (Technical Communications)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5082015)