Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996
type: Item
instance of: scholarly article
title: Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996
zbMATH Open document ID: 0943.00031
published in: Theoretical Computer Science
publication date: 2000-08-22T00:00:00Z
review text: The articles of this volume will be reviewed individually. The proceedings have been published as Lect. Notes Comput. Sci. 1101 (1996; Zbl 0851.00082). The 7th conference 1998 has been reviewed (see Zbl 0906.00024).
Mathematics Subject Classification ID: 00B15
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1494160
zbMATH Keywords: Algebraic methodology
zbMATH Keywords: Software technology
zbMATH Keywords: Munich (Germany)
zbMATH Keywords: Selected papers
zbMATH Keywords: Conference
zbMATH Keywords: AMAST '96
zbMATH Keywords: Special issue
MaRDI profile type: Publication
Recommended article: Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings
Recommended article: Algebraic methodology and software technology. 4th international conference, AMAST '95, Montreal, Canada, July 3--7, 1995. Proceedings
Recommended article: 4th international conference on Algebraic methodology and software technology (AMAST '95). Montréal, Canada, July 3--7, 1995
Recommended article: Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5--8, 2006. Proceedings.
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. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings
Recommended article: Special issue: Algebraic methodology and software technology. Selected papers from the 10th international conference (AMAST 2004), Stirling, UK, July 12--16, 2004.
Recommended article: Q3998253
description: scientific article; zbMATH DE number 1494160