Accéder directement au contenu

Florent Jacquemard

1
Documents

Publications

31136
Image document

Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus

Florent Jacquemard , Etienne Lozes , Ralf Treinen , Jules Villard
Theory 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