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

Benjamin Benninghofen Vis

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

*1987
2 Benjamin Benninghofen, Susanne Kemmerich, Michael M. Richter: Systems of Reductions Springer 1987
1986
1EEJürgen Avenhaus, Benjamin Benninghofen, Rüdiger Göbel, Klaus Madlener: TRSPEC: A Term Rewriting Based System for Algebraic Specifications. CADE 1986: 665-667

Coauthor Index

1Jürgen Avenhaus [1]
2Rüdiger Göbel [1]
3Susanne Kemmerich [2]
4Klaus Madlener [1]
5Michael M. Richter [2]

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