- 1
- 1
- 1
Claire David
3
Documents
Publications
- 3
- 3
- 3
- 2
- 1
- 1
Two-variable logic on data wordsACM Transactions on Computational Logic, 2011, 12, pp.27
Article dans une revue
hal-00645452v1
|
|
Two-Variable Logic on Data Trees and XML Reasoningtwenty-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
|
|
Two-Variable Logic on Words with Data21st 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
|