Accéder directement au contenu

Claire David

2
Documents

Publications

anca-muscholl
"luc-segoufin"
Image document

Two-Variable Logic on Words with Data

 Mikolaj Bojanczyk , Anca Muscholl , Thomas Schwentick , Luc Segoufin , Claire David
21st Annual IEEE Symposium on Logic in Computer Science LICS'06, 2006, Seattle, United States. pp.7-16, ⟨10.1109/LICS.2006.51⟩
Communication dans un congrès hal-00151749v1
Image document

Two-Variable Logic on Data Trees and XML Reasoning

 Mikolaj Bojanczyk , Claire David , Anca Muscholl , Thomas Schwentick , Luc Segoufin
twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database system, 2006, Chicago, United States. pp.10-19, ⟨10.1145/1142351.1142354⟩
Communication dans un congrès hal-00151833v1