Bernd Bütow

Publication Activity (10 Years)

Years Active: 1995-1999
Publications (10 Years): 0

Publications

Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
Semantic Matching for Left-Linear Convergent Rewrite Systems J. Funct. Log. Program. 1999 (11) (1999)
Bernd Bütow, Robert Giegerich, Enno Ohlebusch, Stephan Thesing
A New Strategy for Semantic Matching PLILP (1995)