You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Orthogonality and Boolean Algebras for Deduction Modulo
|
---|---|
Chapter number | 9 |
Book title |
Typed Lambda Calculi and Applications
|
Published by |
Springer, Berlin, Heidelberg, June 2011
|
DOI | 10.1007/978-3-642-21691-6_9 |
Book ISBNs |
978-3-64-221690-9, 978-3-64-221691-6
|
Authors |
Aloïs Brunel, Olivier Hermant, Clément Houtmann, Brunel, Aloïs, Hermant, Olivier, Houtmann, Clément |