Jean-Luc Coquidé

Available identifiers

zbMath Open coquide.jean-lucMaRDI QIDQ1325835

List of research outcomes

Publication	Date of Publication	Type
Bottom-up tree pushdown automata and rewrite systems	2022-12-09	Paper
Encompassment properties and automata with constraints	2022-12-09	Paper
Pumping, cleaning and symbolic constraints solving	2019-04-29	Paper
Automata for reduction properties solving	1996-06-06	Paper
Bottom-up tree pushdown automata: Classification and connection with rewrite systems	1994-05-15	Paper
Decidability of reachability for disjoint union of term rewriting systems	1994-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q3974858	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3979263	1992-06-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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