Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings
zbMATH Open0879.00059MaRDI QIDQ1374897FDOQ1374897
Authors:
Publication date: 22 December 1997
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Recommendations
- Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996
- Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings
- Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5--8, 2006. Proceedings.
- Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
- Algebraic methodology and software technology. 4th international conference, AMAST '95, Montreal, Canada, July 3--7, 1995. Proceedings
- Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28--31, 2008. Proceedings
- Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000
- Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to category theory (18-06)
Cited In (1)
This page was built for publication: Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1374897)
