We stand with Ukraine  

Karl Winklmann

According to our database1, Karl Winklmann authored at least 13 papers between 1977 and 1991.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1991
On Limitations of Transformations Between Combinatorial Problems.
[BibTeX]
[DOI]
William Slough
,
Karl Winklmann
Math. Syst. Theory, 1991

1986
"Global" Graph Problems Tend to Be Intractable.
[BibTeX]
[DOI]
N. Lakshmipathy
,
Karl Winklmann
J. Comput. Syst. Sci., 1986

1985
An "Interchange Lemma" for Context-Free Languages.
[BibTeX]
[DOI]
William F. Ogden
,
Rockford J. Ross
,
Karl Winklmann
SIAM J. Comput., 1985

1984
The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete
[BibTeX]
[DOI]
Paliath Narendran
,
Friedrich Otto
,
Karl Winklmann
Inf. Control., 1984

1982
Expressing Program Looping in Regular Dynamic Logic.
[BibTeX]
[DOI]
Albert R. Meyer
,
Karl Winklmann
Theor. Comput. Sci., 1982

Repetitive Strings are not Context-Free.
[BibTeX]
[DOI]
Rockford J. Ross
,
Karl Winklmann
RAIRO Theor. Informatics Appl., 1982

On the Complexity of some Problems Concerning the Use of Procedures II.
[BibTeX]
[DOI]
Karl Winklmann
Acta Informatica, 1982

On the Complexity of Some Problems Concerning the Use of Procedures I.
[BibTeX]
[DOI]
Karl Winklmann
Acta Informatica, 1982

1980
Coping with Errors in Binary Search Procedures.
[BibTeX]
[DOI]
Ronald L. Rivest
,
Albert R. Meyer
,
Daniel J. Kleitman
,
Karl Winklmann
,
Joel Spencer
J. Comput. Syst. Sci., 1980

1979
On the Expressive Power of Dynamic Logic (Preliminary Report)
[BibTeX]
[DOI]
Albert R. Meyer
,
Karl Winklmann
Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30, 1979

1978
Simple Gödel Numberings, Isomorphisms, and Programming Properties.
[BibTeX]
[DOI]
Michael Machtey
,
Karl Winklmann
,
Paul Young
SIAM J. Comput., 1978

Coping with Errors in Binary Search Procedures (Preliminary Report)
[BibTeX]
[DOI]
Ronald L. Rivest
,
Albert R. Meyer
,
Daniel J. Kleitman
,
Karl Winklmann
,
Joel Spencer
Proceedings of the 10th Annual ACM Symposium on Theory of Computing, 1978

1977
A theoretical study of some aspects of parameter passing in algol60 and in similar programming languages.
[BibTeX]
[DOI]
Karl Winklmann
PhD thesis, 1977


  Loading...