Troels Christoffer Damgaard

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Inductive Inference

Formal Language

Approximate Matching

Top Venues

Formal Aspects Comput.

Electron. Notes Theor. Comput. Sci.

Publications

Troels Christoffer Damgaard, Arne J. Glenstrup, Lars Birkedal, Robin Milner
An inductive characterization of matching in binding bigraphs. Formal Aspects Comput. 25 (2) (2013)
Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine
Formal Cellular Machinery. Electron. Notes Theor. Comput. Sci. 284 (2012)
Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner
Matching of Bigraphs. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Troels Christoffer Damgaard, Lars Birkedal
Axiomatizing Binding Bigraphs. Nord. J. Comput. 13 (1-2) (2006)