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 × Poland
1 × Serbia
Collaborated with:
A.Brunel O.Hermant P.Brauner C.Kirchner H.Cirstea B.Wack
Talks about:
superdeduct (1) distribut (1) principl (1) orthogon (1) calculus (1) boolean (1) algebra (1) modulo (1) deduct (1) rho (1)

Person: Clément Houtmann

DBLP DBLP: Houtmann:Cl=eacute=ment

Contributed to:

TLCA 20112011
LICS 20072007
WRLA 20062007

Wrote 3 papers:

TLCA-2011-BrunelHH #algebra #deduction #orthogonal
Orthogonality and Boolean Algebras for Deduction Modulo (AB, OH, CH), pp. 76–90.
LICS-2007-BraunerHK #deduction
Principles of Superdeduction (PB, CH, CK), pp. 41–50.
WRLA-2006-CirsteaHW07 #calculus
Distributive rho-calculus (HC, CH, BW), pp. 95–111.

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.