Florent Jacquemard
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
|
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-CalculusTheory of Security and Applications (TOSCA, joint workshop affiliated to ETAPS), Mar 2011, Saarbrücken, Germany. pp.166-185, ⟨10.1007/978-3-642-27375-9⟩
Communication dans un congrès
inria-00578896v1
|