Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings

MaRDI QIDQ1374897zbMATH OpenFDO

Authors

Publication date 22 December 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Algebraic methodologyAMAST '97ConferenceProceedingsSidney (Australia)Software technology

Mathematics Subject Classification ID

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 category theory (18-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of mathematical interest will be reviewed individually. The preceding conference (5th, 1996) has been announced (see Zbl 0851.00082). Indexed articles: \textit{Bloom, Stephen L.; Labella, Anna; Ésik, Zoltán; Manes, Ernest G.}, Iteration 2-theories. (Extended abstract), 30-44 [Zbl 0885.18003] \textit{Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till}, Permissive subsorted partial logic in CASL, 91-107 [Zbl 0886.03022] \textit{Katis, Piergiolio; Sabadini, N.; Walters, R. F. C.}, Span(Graph): A categorical algebra of transition systems, 307-321 [Zbl 0885.18004] \textit{Katis, Piergiulio; Sabadini, N.; Walters, R. F. C.}, Representing place/transition nets in Span(Graph), 322-336 [Zbl 0885.18005] \textit{Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos}, Synchronization of logics with mixed rules: Completeness preservation, 465-478 [Zbl 0886.03043] \textit{Simons, Martin; Sintzoff, Michel}, Algebraic composition and refinement of proofs, 494-508 [Zbl 0886.03009]

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

Cited in

(1)

• Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996

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)