Jean Claude Raoult

Available identifiers

zbMath Open raoult.jean-claudeMaRDI QIDQ800735

List of research outcomes

Publication	Date of Publication	Type
Recursively defined tree transductions	2022-12-09	Paper
Set-theoretic graph rewriting	2022-08-16	Paper
Context-free event domains are recognizable	2022-08-16	Paper
Semi-Cartesian squares and the Snake Lemma	2019-02-05	Paper
Operational and semantic equivalence between recursive programs.	2014-03-14	Paper
Context-free event domains are recognizable	1999-05-03	Paper
Rational tree relations	1999-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4273670	1994-01-13	Paper
https://portal.mardi4nfdi.de/entity/Q4712963	1992-06-25	Paper
Proving open properties by induction	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343460	1984-01-01	Paper
On graph rewritings	1984-01-01	Paper
Properties of a Notation for Combining Functions	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3940836	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3952088	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912630	1980-01-01	Paper
Operational and Semantic Equivalence Between Recursive Programs	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888540	1980-01-01	Paper
The number of registers required for evaluating arithmetic expressions	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4405288	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5632693	1971-01-01	Paper

Research outcomes over time

This page was built for person: Jean Claude Raoult