BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hughes:Dominic_J=_D=

Contributed to:

LICS 20152015
LICS 20032003
LICS 19991999
LICS 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.