Jean-Claude Raoult

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

Collaborative distances:

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

1995

Context-Free Event Domains are Recognizable.

Éric Badouel, Philippe Darondeau, Jean-Claude Raoult

Proceedings of the Algebraic Methodology and Software Technology, 1995

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

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

On Graph Rewritings.

Jean-Claude Raoult

Proceedings of the CAAP'84, 1984

1982

Properties of a Notation for Combining Functions.

Jean-Claude Raoult, Ravi Sethi

Proceedings of the Automata, 1982

1981

Finiteness Results on Rewriting Systems.

Jean-Claude Raoult

RAIRO Theor. Informatics Appl., 1981

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

1978

Operational and Semantic Equivalence between Recursive Programs

Jean-Claude Raoult, Jean Vuillemin

Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978

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