3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2009★ 3 cited
A distributed editing environment for XML documents
Claude Pasquier, Laurent Théry
XML is based on two essential aspects: the modelization of data in a tree like structure and the separation between the information itself and the way it is displayed. XML structur…
cs.LO2006★ 2 cited
Formalising Sylow's theorems in Coq
Laurent Thery
This report presents a formalisation of Sylow's theorems done in {\sc Coq}. The formalisation has been done in a couple of weeks on top of Georges Gonthier's {\sc ssreflect} \cite{…