Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings
type: Item
instance of: scholarly article
title: Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings
zbMATH Open document ID: 0939.00039
DOI: 10.1007/3-540-45499-3
published in: Lecture Notes in Computer Science
publication date: 2000-06-20T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1461734
zbMATH Keywords: Iowa City, IA (USA)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: AMAST 2000
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-45499-3
OpenAlex ID: W2479224332
Recommended article: Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000
Recommended article: Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28--31, 2008. Proceedings
Recommended article: Q3998253
Recommended article: Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12--16, 2004. Proceedings.
Recommended article: Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
Recommended article: Q3141002
Recommended article: Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23--25, 2010. Revised selected papers
Recommended article: Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5--8, 2006. Proceedings.
description: scientific article; zbMATH DE number 1461734