Jean-Claude Raoult

According to our database, Jean-Claude Raoult authored at least 14 papers between 1977 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1999

Context-Free Event Domains are Recognizable.

Éric Badouel, Philippe Darondeau, Jean-Claude Raoult

Inf. Comput., 1999

1993

Recursively Defined Tree Transductions.

Jean-Claude Raoult

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

Set-Theoretic Graph Rewriting.

Jean-Claude Raoult, Frédéric Voisin

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992

A survey of tree transductions.

Jean-Claude Raoult

Proceedings of the Tree Automata and Languages., 1992

1988

Proving Open Properties by Induction.

Jean-Claude Raoult

Inf. Process. Lett., 1988

1984

On Graph Rewritings.

Jean-Claude Raoult

Theor. Comput. Sci., 1984

The Global Storage Needs of a Subcomputation.

Jean-Claude Raoult, Ravi Sethi

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984

1983

Properties of a Notation for Combining Functions

Jean-Claude Raoult, Ravi Sethi

J. ACM, July, 1983

1981

Finiteness Results on Rewriting Systems.

Jean-Claude Raoult

RAIRO Theor. Informatics Appl., 1981

1980

Operational and Semantic Equivalence Between Recursive Programs.

Jean-Claude Raoult, Jean Vuillemin

J. ACM, 1980

Completions of ordered magmas.

Bruno Courcelle, Jean-Claude Raoult

Fundam. Informaticae, 1980

Optimal Unbounded Search Strategies.

Jean-Claude Raoult, Jean Vuillemin

Proceedings of the Automata, 1980

1979

The Number of Registers Required for Evaluating Arithmetic Expressions.

Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin

Theor. Comput. Sci., 1979

1977

On the Average Number of Registers Required for Evaluating Arithmetic Expressions

Philippe Flajolet, Jean-Claude Raoult, Jean Vuillemin

Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977