Frontiers of Combining Systems (FroCoS)
6. IJCAR 2012: Manchester, UK
Bernhard Gramlich, Dale Miller, Uli Sattler (Eds.):
Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings.
Lecture Notes in Computer Science 7364 Springer 2012, ISBN 978-3-642-31364-6
Contents 
8. FroCoS 2011: Saarbrücken, Germany
Cesare Tinelli, Viorica Sofronie-Stokkermans (Eds.):
Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings.
Lecture Notes in Computer Science 6989 Springer 2011, ISBN 978-3-642-24363-9
Contents
5. IJCAR 2010: Edinburgh, UK
Jürgen Giesl, Reiner Hähnle (Eds.):
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
Lecture Notes in Computer Science 6173 Springer 2010, ISBN 978-3-642-14202-4
Contents
7. FroCoS 2009: Trento, Italy
Silvio Ghilardi, Roberto Sebastiani (Eds.):
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings.
Lecture Notes in Computer Science 5749 Springer 2009, ISBN 978-3-642-04221-8
Contents
4. IJCAR 2008: Sydney, NSW, Australia
Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.):
Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings.
Lecture Notes in Computer Science 5195 Springer 2008, ISBN 978-3-540-71069-1
Contents
6. FroCoS 2007: Liverpool, UK
Boris Konev, Frank Wolter (Eds.):
Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007, Proceedings.
Lecture Notes in Computer Science 4720 Springer 2007, ISBN 978-3-540-74620-1
Contents
3. IJCAR 2006: Seattle, WA, USA
Ulrich Furbach, Natarajan Shankar (Eds.):
Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings.
Lecture Notes in Computer Science 4130 Springer 2006, ISBN 3-540-37187-7
Contents
5. FroCoS 2005: Vienna, Austria
Bernhard Gramlich (Ed.):
Frontiers of Combining Systems, 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings.
Lecture Notes in Computer Science 3717 Springer 2005, ISBN 3-540-29051-6
Contents
- FroCoS 2005 Home Page
FroCoS / 2. IJCAR 2004: Cork, County Cork, Ireland
David A. Basin, Michaël Rusinowitch (Eds.):
Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings.
Lecture Notes in Computer Science 3097 Springer 2004, ISBN 3-540-22345-2
Contents
4. FroCoS 2002: Santa Margherita Ligure, Italy
Alessandro Armando (Ed.):
Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings.
Lecture Notes in Computer Science 2309 Springer 2002, ISBN 3-540-43381-3
Contents
3. FroCoS 2000: Nancy, France
Hélène Kirchner, Christophe Ringeissen (Eds.):
Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings.
Lecture Notes in Computer Science 1794 Springer 2000, ISBN 3-540-67281-8
Contents
2. FroCoS 1998: Amsterdam The Netherlands
1. FroCoS 1996: Munich, Germany
Franz Baader, Klaus U. Schulz (Eds.):
Frontiers of Combining Systems, First International Workshop FroCoS '96, Munich, Germany, March 26-29, 1996, Proceedings. Kluwer Academic Publishers, Applied Logic Series, Vol. 3, ISBN 0-7923-4271-2
Contents
Last update Sat May 18 18:31:35 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
