Bruno Salinier

According to our database, Bruno Salinier authored at least 4 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Simulating Forward-Branching Systems with Constructor Systems.

Bruno Salinier, Robert Strandh

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Efficient Simulation of Forward-Branching Systems with Constructor Systems.

Bruno Salinier, Robert Strandh

J. Symb. Comput., 1996

1994

Constructor Equivalent Term Rewriting Systems are Strongly Sequential: A Direct Proof.

Irène Durand, Bruno Salinier

Inf. Process. Lett., 1994

1993

Constructor Equivalent Term Rewriting Systems.

Irène Durand, Bruno Salinier

Inf. Process. Lett., 1993