Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Symposium on Frontiers of Combining Systems (FroCoS)
14th FroCoS 2023: Prague, Czech Republic
- Uli Sattler, Martin Suda:
Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14279, Springer 2023, ISBN 978-3-031-43368-9 [contents]
13th FroCoS 2021: Birmingham, UK
- Boris Konev, Giles Reger:
Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings. Lecture Notes in Computer Science 12941, Springer 2021, ISBN 978-3-030-86204-6 [contents]
12th FroCoS 2019: London, UK
- Andreas Herzig, Andrei Popescu:
Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11715, Springer 2019, ISBN 978-3-030-29006-1 [contents]
11th FroCoS 2017: Brasilia, Brazil
- Clare Dixon, Marcelo Finger
:
Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. Lecture Notes in Computer Science 10483, Springer 2017, ISBN 978-3-319-66166-7 [contents]
10th FroCoS 2015: Wroclaw, Poland
- Carsten Lutz, Silvio Ranise:
Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015. Proceedings. Lecture Notes in Computer Science 9322, Springer 2015, ISBN 978-3-319-24245-3 [contents]
9th FroCoS 2013: Nancy, France
- Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt:
Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Lecture Notes in Computer Science 8152, Springer 2013, ISBN 978-3-642-40884-7 [contents]
8th FroCoS 2011: Saarbrücken, Germany
- Cesare Tinelli, Viorica Sofronie-Stokkermans:
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]
7th FroCoS 2009: Trento, Italy
- Silvio Ghilardi, Roberto Sebastiani:
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]
6th FroCoS 2007: Liverpool, UK
- Boris Konev, Frank Wolter:
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]
5th FroCoS 2005: Vienna, Austria
- Bernhard Gramlich:
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]
4th FroCoS 2002: Santa Margherita Ligure, Italy
- Alessandro Armando:
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]
3rd FroCoS 2000: Nancy, France
- Hélène Kirchner, Christophe Ringeissen:
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]
2nd FroCoS 1998: Amsterdam, The Netherlands
- Dov M. Gabbay, Maarten de Rijke:
Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings. Research Studies Press/Wiley 1998 [contents]
1st FroCoS 1996: Munich, Germany
- Franz Baader, Klaus U. Schulz:
Frontiers of Combining Systems, First International Workshop FroCoS 1996, Munich, Germany, March 26-29, 1996, Proceedings. Applied Logic Series 3, Kluwer Academic Publishers 1996, ISBN 0-7923-4271-2 [contents]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-29 00:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
