Werner Lauterbach Coauthor index DBLP Vis pubzone.org

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

DBLP keys1996
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Bündgen, Werner Lauterbach: Combining Reductions and Computations in ReDuX. AMAST 1996: 633-636
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach: Verification of the Sparrow Processor. ECBS 1996: 86-
1995
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReinhard Bündgen, Werner Lauterbach: Experiments with Partial Evaluation Domains for Rewrite Specifications. COMPASS/ADT 1995: 125-142

Coauthor Index

1Reinhard Bündgen [1] [2] [3]
2Wolfgang Küchlin [2]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Wed Dec 9 16:00:12 2009 by Michael Ley (ley@uni-trier.de)