Troels Christoffer Damgaard
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Information Desk: 72185000
Research outputs (6)
- Published
Formal Cellular Machinery
Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
An Implementation of Bigraph Matching
Research output: Working paper › Research
- Published
An Inductive Characterization of Matching in Binding Bigraphs
Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
ID: 263516