`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: Houtmann:Cl=eacute=ment

### Contributed to:

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