Accéder directement au contenu

Claire David

3
Documents

Publications

anca-muscholl

Two-variable logic on data words

 Mikolaj Bojanczyk , Claire David , Anca Muscholl , Thomas Schwentick , Luc Segoufin
ACM Transactions on Computational Logic, 2011, 12, pp.27
Article dans une revue hal-00645452v1
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
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