Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

Hugo Andrés López Acosta, Thomas Hildebrandt

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    OriginalsprogEngelsk
    TitelLogic Programming : 25th International Conference, ICLP 2009
    Antal sider431
    Vol/bind5649
    ForlagSpringer
    Publikationsdato2009
    Sider417
    ISBN (Trykt)978-3-642-02845-8
    DOI
    StatusUdgivet - 2009
    BegivenhedInternational Conference on Logic Programming (ICLP) - Pasadena, USA
    Varighed: 2 jul. 2010 → …
    Konferencens nummer: 25

    Konference

    KonferenceInternational Conference on Logic Programming (ICLP)
    Nummer25
    Land/OmrådeUSA
    ByPasadena
    Periode02/07/2010 → …
    NavnLecture Notes in Computer Science
    Nummer5649/2009
    ISSN0302-9743

    Citationsformater