Anne-Cecile Caron

From MaRDI portal
(Redirected from Person:462478)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Encompassment properties and automata with constraints
Rewriting Techniques and Applications
2022-12-09Paper
Pumping, cleaning and symbolic constraints solving
Automata, Languages and Programming
2019-04-29Paper
Static analysis of XML security views and query rewriting
Information and Computation
2014-10-20Paper
Path constraints in semistructured data
Theoretical Computer Science
2007-10-18Paper
Mathematical Foundations of Computer Science 2004
Lecture Notes in Computer Science
2005-08-22Paper
scientific article; zbMATH DE number 2051179 (Why is no real title available?)2004-03-07Paper
scientific article; zbMATH DE number 1638661 (Why is no real title available?)2001-08-29Paper
On decidability of boundedness property for regular path queries2001-04-04Paper
scientific article; zbMATH DE number 1405621 (Why is no real title available?)2000-04-25Paper
Automata for reduction properties solving
Journal of Symbolic Computation
1996-06-06Paper
Decidability of reachability for disjoint union of term rewriting systems
Theoretical Computer Science
1994-05-15Paper


Research outcomes over time


This page was built for person: Anne-Cecile Caron