| |
| 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) | |
| 1 | Irène Durand | [1] [2] |
| 2 | Robert Strandh | [3] [4] |