BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Poland
1 × United Kingdom
Collaborated with:
C.Aubert A.Doumane A.Saurin
Talks about:
logarithm (1) logspac (1) equival (1) diagram (1) complet (1) depend (1) binari (1) space (1) proof (1) logic (1)

Person: Marc Bagnol

DBLP DBLP: Bagnol:Marc

Contributed to:

FoSSaCS 20152015
TLCA 20152015
RTA-TLCA 20142014

Wrote 3 papers:

FoSSaCS-2015-BagnolDS #dependence #logic #on the
On the Dependencies of Logical Rules (MB, AD, AS), pp. 436–450.
TLCA-2015-Bagnol #diagrams #equivalence #proving
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams (MB), pp. 60–75.
RTA-TLCA-2014-AubertB #unification
Unification and Logarithmic Space (CA, MB), pp. 77–92.

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.