Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023 U. Sattler and M. Suda: editors. Volume 14279 of Lecture Notes in Computer Science. Springer, 2023. DOI: 10.1007/978-3-031-43369-6
Automated Reasoning: 11th International Joint Conference, IJCAR 2022 J. Blanchette, L. Kovács and D. Pattinson editors. Volume 13385 of Lecture Notes in Artificial Intelligence. Springer, 2022. DOI: 10.1007/978-3-031-10769-6
Frontiers of Combining Systems: 13th International Symposium, FroCoS 2021 B. Konev and G. Reger editors. Volume 12941 of Lecture Notes in Computer Science. Springer, 2021. DOI: 10.1007/978-3-030-86205-3
Automated Reasoning: 10th International Joint Conference, IJCAR 2020 N. Peltier and V. Sofronie-Stokkermans editors. Volumes 12166 and 12167 of Lecture Notes in Artificial Intelligence. Springer, 2020. DOI: 10.1007/978-3-030-51074-9 and 10.1007/978-3-030-51054-1
Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019 A. Herzig and A. Popescu editors. Volume 11715 of Lecture Notes in Computer Science. Springer, 2019. DOI: 10.1007/978-3-030-29007-8
Automated Reasoning: 9th International Joint Conference, IJCAR 2018 Galmiche, Schulz and Sebastiani editors. Volume 10900 of Lecture Notes in Computer Science. Springer, 2018. DOI: 10.1007/978-3-319-94205-6
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017 C. Dixon and M. Finger editors. Volume 10483 of Lecture Notes in Computer Science. Springer, 2017. DOI: 10.1007/978-3-319-66167-4
Automated Reasoning: 8th International Joint Conference, IJCAR 2016 N. Olivetti and A. Tiwari editors. Volume 9706 of Lecture Notes in Computer Science. Springer, 2016. DOI: 10.1007/978-3-319-40229-1
Frontiers of Combining Systems: 10th International Symposium, FroCoS 2015 C. Lutz and S. Ranise editors. Volume 9322 of Lecture Notes in Computer Science. Springer, 2015. DOI: 10.1007/978-3-319-24246-0
Automated Reasoning: 7th International Joint Conference, IJCAR 2014 S, Demri, D. Kapur and C. Weidenbach editors. Volume 8562 of Lecture Notes in Artificial Intelligence. Springer, 2014. DOI: 10.1007/978-3-319-08587-6
Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013 P. Fontaine, C. Ringeissen and R. A. Schmidt editors. Volume 8152 of Lecture Notes in Computer Science. Springer, 2013. DOI: 10.1007/978-3-642-40885-4
Automated Reasoning: 6th International Joint Conference, IJCAR 2012 B. Gramlich, D. Miller and U. Sattler editors. Volume 7364 of Lecture Notes in Computer Science. Springer, 2012. DOI: 10.1007/978-3-642-31365-3
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011 C. Tinelli and V. Sofronie-Stokkermans editors. Volume 6989 of Lecture Notes in Artificial Intelligence. Springer, 2011. ISBN: 978-3-642-24363-9
Automated Reasoning: 5th International Joint Conference, IJCAR 2010 J. Giesl and R. Haehnle editors. Volume 6173 of Lecture Notes in Computer Science. Springer, 2010. ISBN 978-3-642-14202-4
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009 S. Ghilardi and R. Sebastiani editors. Volume 5749 of Lecture Notes in Artificial Intelligence. Springer, 2009. ISBN: 978-3-642-04221-8
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Alessandro Armando, Peter Baumgartner and Gilles Dowek editors. Volume 4933 of Lecture Notes in Computer Science. Springer, 2008. ISBN 978-3-540-71069-1
Frontiers of Combining Systems, Sixth International Symposium, FroCoS 2007 B. Konev andF. Wolter editors. Volume 4720 of Lecture Notes in Artificial Intelligence. Springer, 2007. ISBN 354074620X
Automated Reasoning: Third International Joint Conference, IJCAR 2006 U. Furbach and N. Shankar editors. Volume 4130 of Lecture Notes in Computer Science. Springer, 2006. ISBN 978-3-540-37187-8
Frontiers of Combining Systems, Fifth International Workshop, FroCoS 2005 B. Gramlich editor. Volume 3717 of Lecture Notes in Artificial Intelligence. Springer, 2005. ISBN 3-540-29051-6
Automated Reasoning: Second International Joint Conference, IJCAR 2004 D. Basin and M. Rusinowitch editors. Volume 3097 of Lecture Notes in Artificial Intelligence. Springer, 2004. ISBN 3-540-22345-2
Frontiers of Combining Systems, Forth International Workshop, FroCoS 2002 A. Armando editor. Volume 2309 of Lecture Notes in Artificial Intelligence. Springer, 2002. ISBN 3-540-43381-3
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000 H. Kirchner and C. Ringeissen editors. Volume 1794 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2000. ISBN 3-540-67281-8
Frontiers of Combining Systems 2 Dov M. Gabbay and Maarten de Rijke, editors. Research Studies Press/Wiley, 2000. ISBN 0863802524
Frontiers of Combining Systems Franz Baader and Klaus U. Schulz, Editors. Applied Logic Series, Vol. 3 Kluwer Academic Publishers, Dordrecht, 1996. ISBN 0-7923-4271-2
