polynomial-time algorithm / Con uent string rewriting systems / con uent rewriting systems / reduction systems / con uent reduction systems / actual computing / software science / polynomialtime algorithm / /
Organization
Universitat Augsburg / Harvard University / Robert McNaughton Department of Computer Science Rensselaer Polytechnic Institute Troy / Technische Universitat Berlin / Universitat Wurzburg / /