Damien Pous
2
Documents
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
|
|
Tactics for Reasoning modulo AC in CoqCertified Proofs and Programs, 2011, Taiwan. pp167-182, ⟨10.1007/978-3-642-25379-9_14⟩
Communication dans un congrès
hal-00484871v4
|
|
|
Deciding Kleene Algebras in CoqITP, Aug 2010, Edinburgh, United Kingdom. pp.163-178, ⟨10.1007/978-3-642-14052-5_13⟩
Communication dans un congrès
hal-00383070v5
|