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

Bernd Bütow Vis

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

*1999
2 Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: Semantic Matching for Left-Linear Convergent Rewrite Systems Journal of Functional and Logic Programming 1999(11): (1999)
1995
1EEBernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing: A New Strategy for Semantic Matching PLILP 1995: 81-96

Coauthor Index

1Robert Giegerich [1] [2]
2Enno Ohlebusch [1] [2]
3Stephan Thesing [1] [2]

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