Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings (Q1919791)

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1492.68008]. Indexed articles: \textit{Howe, Douglas J.}, Semantic foundations for embedding HOL in Nuprl, 85-101 [Zbl 0886.03008] \textit{Gavilanes, A.; Leach, J.; Nieva, S.}, Free variable tableaux for a many sorted logic with preorders, 102-116 [Zbl 0886.03007] \textit{Haxthausen, Anne Elisabeth; Nickl, Friederike}, Pushouts of order-sorted algebraic specifications, 132-147 [Zbl 0889.68104] \textit{Ancona, Davide; Zucca, Elena}, A formal framework for modules with state, 148-162 [Zbl 0889.68105] \textit{Fokkink, Wan}, On the completeness of the equations for the Kleene star in bisimulation, 180-194 [Zbl 0886.03032] \textit{Aceto, Luca; Ingólfsdóttir, Anna}, An equational axiomatization of observation congruence for prefix iteration, 195-209 [Zbl 0886.03031] \textit{Baier, Christel; Majster-Cederbaum, Mila}, A categorical characterization of consistency results, 473-486 [Zbl 0887.68064]