Relation Algebraic specification and proofs in the theory of reduction systems

J.J. Ba?mer (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Caldes de Malavella (Spanje)
    Period30 Oct 1992
    Event title9th Workshop on Specification of abstract data types
    Event typeConference
    LocationCaldes de Malavella (Spanje)

    Keywords

    • METIS-123812