Jean-Luc Coquidé

From MaRDI portal
Person:1325835

Available identifiers

zbMath Open coquide.jean-lucMaRDI QIDQ1325835

List of research outcomes





PublicationDate of PublicationType
Encompassment properties and automata with constraints2022-12-09Paper
Bottom-up tree pushdown automata and rewrite systems2022-12-09Paper
Pumping, cleaning and symbolic constraints solving2019-04-29Paper
Automata for reduction properties solving1996-06-06Paper
Bottom-up tree pushdown automata: Classification and connection with rewrite systems1994-05-15Paper
Decidability of reachability for disjoint union of term rewriting systems1994-05-15Paper
https://portal.mardi4nfdi.de/entity/Q39792631992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39748581992-06-26Paper

Research outcomes over time

This page was built for person: Jean-Luc Coquidé

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