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
On graph rewritings	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3343460	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/Q3888540	1980-01-01	Paper
Operational and Semantic Equivalence Between Recursive Programs	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3912630	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

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 Claude Raoult