LIBRARY Reachability Problems : 17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings 2023 · ENGLISH · PDF View details →
LIBRARY A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP 2010 · ENGLISH · PDF View details →
LIBRARY Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings 2005 · ENGLISH · PDF View details →
LIBRARY Descriptional Complexity of Formal Systems: 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Models of Strategic Reasoning: Logics, Games, and Communities 2015 · ENGLISH · PDF View details →
LIBRARY Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday 2015 · ENGLISH · PDF View details →
LIBRARY Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers 2009 · ENGLISH · PDF View details →
LIBRARY Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Rewriting Techniques and Applications: 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings 2008 · ENGLISH · PDF View details →
LIBRARY Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings 1999 · ENGLISH · PDF View details →
LIBRARY Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings 1999 · ENGLISH · PDF View details →
LIBRARY Rewriting Techniques and Applications: 13th International Conference, RTA 2002 Copenhagen, Denmark, July 22–24, 2002 Proceedings 2002 · ENGLISH · PDF View details →
LIBRARY Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings 2001 · ENGLISH · PDF View details →
LIBRARY Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings 2001 · ENGLISH · PDF View details →
LIBRARY Rewriting Techniques and Applications: 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000. Proceedings 2000 · ENGLISH · PDF View details →
LIBRARY Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005. Proceedings 2005 · ENGLISH · PDF View details →
LIBRARY Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings 2005 · ENGLISH · PDF View details →