Travelled to:1 × Canada
1 × Italy
1 × Japan
1 × Poland
Collaborated with:W.Heijltjes R.J.v.Glabbeek ∅ H.Devarajan G.D.Plotkin V.R.Pratt
Talks about:logic (3) net (3) multipl (2) linear (2) proof (2) addit (2) product (1) complex (1) complet (1) system (1)
Person: Dominic J. D. Hughes
DBLP: Hughes:Dominic_J=_D=
Contributed to:
2015200319991997Wrote 4 papers:
- LICS-2015-HeijltjesH #bound #complexity #logic #petri net #proving
- Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.
- LICS-2003-HughesG #linear #logic #multi #proving
- Proof Nets for Unit-free Multiplicative-Additive Linear Logic (DJDH, RJvG), pp. 1–10.
- LICS-1999-DevarajanHPP #linear #logic #multi
- Full Completeness of the Multiplicative Linear Logic of Chu Spaces (HD, DJDH, GDP, VRP), pp. 234–243.
- LICS-1997-Hughes #game studies #system f
- Games and Definability for System F (DJDH), pp. 76–86.