Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A general proof rule for procedures in predicate transformers semantics


    Beteiligte:


    Erscheinungsdatum :

    1983


    Format / Umfang :

    19 S


    Anmerkungen:

    Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek


    Medientyp :

    Report


    Format :

    Print


    Sprache :

    Englisch







    Towards Ad-Hoc Rule Semantics for Gene Expression Data

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