Jean-Claude Raoult

20 papers A* 5Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
1999 J jnl
Context-Free Event Domains are Recognizable.
Inf. Comput.
Éric Badouel, Philippe Darondeau, Jean-Claude Raoult
1995 — conf
Context-Free Event Domains are Recognizable.
AMAST
Éric Badouel, Philippe Darondeau, Jean-Claude Raoult
1993 — conf
Recursively Defined Tree Transductions.
RTA
Jean-Claude Raoult
1993 — conf
Set-Theoretic Graph Rewriting.
Dagstuhl Seminar on Graph Transformations in Computer Science
Jean-Claude Raoult, Frédéric Voisin
1992 — ch.
A survey of tree transductions.
Tree Automata and Languages
Jean-Claude Raoult
1992 — ed.
CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings
CAAP
Jean-Claude Raoult
1988 J jnl
Proving Open Properties by Induction.
Inf. Process. Lett.
Jean-Claude Raoult
1984 — conf
On Graph Rewritings.
CAAP
Jean-Claude Raoult
1984 J jnl
On Graph Rewritings.
Theor. Comput. Sci.
Jean-Claude Raoult
1984 A* conf
The Global Storage Needs of a Subcomputation.
POPL
Jean-Claude Raoult, Ravi Sethi
1983 J jnl
On graph rewritings.
Bull. EATCS
Jean-Claude Raoult
1983 J jnl
Properties of a Notation for Combining Functions
J. ACM
Jean-Claude Raoult, Ravi Sethi
1982 A* conf
Properties of a Notation for Combining Functions.
ICALP
Jean-Claude Raoult, Ravi Sethi
1981 J jnl
Finiteness Results on Rewriting Systems.
RAIRO Theor. Informatics Appl.
Jean-Claude Raoult
1980 J jnl
Completions of ordered magmas.
Fundam. Informaticae
Bruno Courcelle, Jean-Claude Raoult
1980 J jnl
Operational and Semantic Equivalence Between Recursive Programs.
J. ACM
Jean-Claude Raoult, Jean Vuillemin
1980 A* conf
Optimal Unbounded Search Strategies.
ICALP
Jean-Claude Raoult, Jean Vuillemin
1979 J jnl
The Number of Registers Required for Evaluating Arithmetic Expressions.
Theor. Comput. Sci.
Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin
1978 A* conf
Operational and Semantic Equivalence between Recursive Programs
STOC
Jean-Claude Raoult, Jean Vuillemin
1977 A* conf
On the Average Number of Registers Required for Evaluating Arithmetic Expressions
FOCS
Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin