Bruno Salinier

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

Coauthor Index

1	Irène Durand	[1] [2]
2	Robert Strandh	[3] [4]