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

Alain Miniussi

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

1997
3 Alain Miniussi, Robert Strandh: An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems. APPIA-GULP-PRODE 1997: 445-456
1996
2 Alain Miniussi, David Sherman: Squeezing Intermediate Construction in Equational Programs. Dagstuhl Seminar on Partial Evaluation 1996: 284-302
1994
1 Timo Metzemakers, Alain Miniussi, David Sherman, Robert Strandh: Improving Arithmetic Performance using Fine-Grain Unfolding. PLILP 1994: 324-339

Coauthor Index

1Timo Metzemakers [1]
2David Sherman [1] [2]
3Robert Strandh [1] [3]

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