dblp.uni-trier.dewww.uni-trier.de

Bruno Salinier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)