106 articles – 48 Notices  [english version]
.:. Consultation > Liste par auteurs > Tison .:.
2 documents classés par :
fulltext access Satisfiability of a Spatial Logic with Tree Variables
Filiot E., Talbot J.-M., Tison S.
16th EACSL Annual Conference on Computer Science and Logic, Suisse (2007) [inria-00148462 - version 2]
fulltext access Polynomial Time Fragments of XPath with Variables
Filiot E., Niehren J., Talbot J.-M., Tison S.
26th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Chine (2007) [inria-00135678 - version 1]