Karl Winklmann

Available identifiers

zbMath Open winklmann.karlMaRDI QIDQ1161283

List of research outcomes

Publication	Date of Publication	Type
On limitations of transformations between combinatorial problems	1992-06-26	Paper
``Global graph problems tend to be intractable	1986-01-01	Paper
The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete	1984-01-01	Paper
On the complexity of some problems concerning the use of procedures. II	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3951572	1982-01-01	Paper
Expressing program looping in regular dynamic logic	1982-01-01	Paper
On the complexity of some problems concerning the use of procedures. I	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4197342	1979-01-01	Paper

Research outcomes over time

This page was built for person: Karl Winklmann