Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16--18, 2009. Proceedings
type: Item
instance of: scholarly article
title: Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16--18, 2009. Proceedings
zbMATH Open document ID: 1178.68010
DOI: 10.1007/978-3-642-04222-5
published in: Lecture Notes in Computer Science
publication date: 2009-10-08T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Txx
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 5610916
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-04222-5
OpenAlex ID: W3156371489
Recommended article: Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18--20, 2013. Proceedings
Recommended article: Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10--12, 2007. Proceedings
Recommended article: Frontiers of combining systems. 4th international workshop, FroCos 2002, Santa Margherita Ligure, Italy, April 8--10, 2002. Proceedings
Recommended article: Frontiers of combining systems. 8th international symposium, FroCoS 2011, Saarbrücken, Germany, October 5--7, 2011. Proceedings
Recommended article: Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21--24, 2015. Proceedings
Recommended article: Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4--6, 2019. Proceedings
Recommended article: Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27--29, 2017. Proceedings
Recommended article: Frontiers of combining systems. 13th international symposium, FroCoS 2021, Birmingham, UK, September 8--10, 2021. Proceedings
Recommended article: Frontiers of combining systems. 3rd international workshop, FroCoS 2000, Nancy, France, March 22--24, 2000. Proceedings
Recommended article: Frontiers of combining systems. 5th international workshop, FroCos 2005, Vienna, Austria, September 19--21, 2005. Proceedings.
description: scientific article; zbMATH DE number 5610916