details for the publication

author(s) Klaus Schmid
title Ground Reducibility Tests - Even for Nonlinear Term Rewriting Systems
publication type Forschungsbericht
institution Fraunhofer IESE, Germany
number / issue SR-93-11 (SFB)
year 1993
type SEKI Report