An Inductive Characterization of Matching in Binding Bigraphs

Troels Christoffer Damgaard, Arne John Glenstrup, Lars Birkedal, Robin Milner

    Publikation: Artikel i tidsskrift og konference artikel i tidsskriftTidsskriftartikelForskningpeer review

    Fingeraftryk

    Dyk ned i forskningsemnerne om 'An Inductive Characterization of Matching in Binding Bigraphs'. Sammen danner de et unikt fingeraftryk.

    Keyphrases

    Computer Science