Anne-Cecile Caron

From MaRDI portal
Person:462478

Available identifiers

zbMath Open caron.anne-cecileMaRDI QIDQ462478

List of research outcomes





PublicationDate of PublicationType
Encompassment properties and automata with constraints2022-12-09Paper
Pumping, cleaning and symbolic constraints solving2019-04-29Paper
Static analysis of XML security views and query rewriting2014-10-20Paper
Path constraints in semistructured data2007-10-18Paper
Mathematical Foundations of Computer Science 20042005-08-22Paper
https://portal.mardi4nfdi.de/entity/Q44534712004-03-07Paper
https://portal.mardi4nfdi.de/entity/Q27363592001-08-29Paper
On decidability of boundedness property for regular path queries2001-04-04Paper
https://portal.mardi4nfdi.de/entity/Q49386002000-04-25Paper
Automata for reduction properties solving1996-06-06Paper
Decidability of reachability for disjoint union of term rewriting systems1994-05-15Paper

Research outcomes over time

This page was built for person: Anne-Cecile Caron

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:462478&oldid=10820854"
Powered by MediaWiki