Jacques Chabin

From MaRDI portal
Person:2424680



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
Narrowing directed by a graph of terms
Rewriting Techniques and Applications
2022-12-09Paper
Towards more precise rewriting approximations
Journal of Computer and System Sciences
2019-06-25Paper
Over-approximating descendants by synchronized tree languages2017-02-01Paper
Towards more precise rewriting approximations
Language and Automata Theory and Applications
2016-04-08Paper
Weak inclusion for recursive XML types
Implementation and Application of Automata
2012-09-20Paper
Weak inclusion for XML types
Implementation and Application of Automata
2011-07-29Paper
Minimal tree language extensions: a keystone of XML type compatibility and evolution
Lecture Notes in Computer Science
2010-08-31Paper
Visibly Pushdown Languages and Term Rewriting
Frontiers of Combining Systems
2008-09-16Paper
scientific article; zbMATH DE number 2079845 (Why is no real title available?)2004-07-30Paper


Research outcomes over time


This page was built for person: Jacques Chabin