Frontiers of Combining Systems (FroCoS)

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 BibTeX

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 BibTeX

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 BibTeX

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 BibTeX - 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 BibTeX - IJCAR 2004 Home Page

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 BibTeX

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 BibTeX - FroCos 2000 Home Page

2. FroCos 1998: Amsterdam The Netherlands

FroCos 1998 Home Page

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 - FroCos 1996 Home Page