Bruno Salinier

Publication Activity (10 Years)

Years Active: 1993-1997
Publications (10 Years): 0

Publications

Bruno Salinier, Robert Strandh
Simulating Forward-Branching Systems with Constructor Systems. TAPSOFT (1997)
Bruno Salinier, Robert Strandh
Efficient Simulation of Forward-Branching Systems with Constructor Systems. J. Symb. Comput. 22 (4) (1996)
Irène Durand, Bruno Salinier
Constructor Equivalent Term Rewriting Systems are Strongly Sequential: A Direct Proof. Inf. Process. Lett. 52 (3) (1994)
Irène Durand, Bruno Salinier
Constructor Equivalent Term Rewriting Systems. Inf. Process. Lett. 47 (3) (1993)