Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000
type: Item
instance of: scholarly article
title: Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000
zbMATH Open document ID: 1006.00016
DOI: 10.1016/S0304-3975(02)00363-8
published in: Theoretical Computer Science
publication date: 2003-02-25T00:00:00Z
review text: The articles of this volume will be reviewed individually.
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1873789
zbMATH Keywords: Algebraic methodology
zbMATH Keywords: Software technology
zbMATH Keywords: AMAST 2000
zbMATH Keywords: Iowa City, IA (USA)
MaRDI profile type: Publication
full work available at URL: s0304-3975(02)00363-8
OpenAlex ID: W4205583904
description: scientific article; zbMATH DE number 1873789