Karl Winklmann
From MaRDI portal
Person:1161283
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On limitations of transformations between combinatorial problems Mathematical Systems Theory | 1992-06-26 | Paper |
| ``Global graph problems tend to be intractable Journal of Computer and System Sciences | 1986-01-01 | Paper |
| The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete Information and Control | 1984-01-01 | Paper |
| On the complexity of some problems concerning the use of procedures. II Acta Informatica | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3770980 (Why is no real title available?) | 1982-01-01 | Paper |
| Expressing program looping in regular dynamic logic Theoretical Computer Science | 1982-01-01 | Paper |
| On the complexity of some problems concerning the use of procedures. I Acta Informatica | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3637286 (Why is no real title available?) | 1979-01-01 | Paper |
Research outcomes over time
This page was built for person: Karl Winklmann
