Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A general proof rule for procedures in predicate transformers semantics


    Contributors:


    Publication date :

    1983


    Size :

    19 S


    Remarks:

    Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Type of media :

    Report


    Type of material :

    Print


    Language :

    English







    Towards Ad-Hoc Rule Semantics for Gene Expression Data

    Agier, M. / Petit, J.-M. / Suzuki, E. | British Library Conference Proceedings | 2005