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

Alain Laville Vis

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1991
3 Alain Laville: Comparison of Priority Rules in Pattern Matching and Term Rewriting. J. Symb. Comput. 11(4): 321-347 (1991)
1988
2EEAlain Laville: Implementation of Lazy Pattern Matching Algorithms. ESOP 1988: 298-316
1987
1EEAlain Laville: Lazy pattern matching in the ML language. FSTTCS 1987: 400-419

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)