Search the dblp DataBase
Bruno Salinier :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Bruno Salinier , Robert Strandh Simulating Forward-Branching Systems with Constructor Systems. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1997, pp:153-164 [Conf ] Irène Durand , Bruno Salinier Constructor Equivalent Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1993, v:47, n:3, pp:131-137 [Journal ] Irène Durand , Bruno Salinier Constructor Equivalent Term Rewriting Systems are Strongly Sequential: A Direct Proof. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1994, v:52, n:3, pp:137-145 [Journal ] Bruno Salinier , Robert Strandh Efficient Simulation of Forward-Branching Systems with Constructor Systems. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1996, v:22, n:4, pp:381-399 [Journal ] Search in 0.001secs, Finished in 0.001secs