![]() | ![]() |
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] |