Search the dblp DataBase
Karl Winklmann :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Albert R. Meyer , Karl Winklmann On the Expressive Power of Dynamic Logic (Preliminary Report) [Citation Graph (0, 0)][DBLP ] STOC, 1979, pp:167-175 [Conf ] Ronald L. Rivest , Albert R. Meyer , Daniel J. Kleitman , Karl Winklmann , Joel Spencer Coping with Errors in Binary Search Procedures (Preliminary Report) [Citation Graph (0, 0)][DBLP ] STOC, 1978, pp:227-232 [Conf ] Karl Winklmann On the Complexity of Some Problems Concerning the Use of Procedures I. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1982, v:18, n:, pp:299-318 [Journal ] Karl Winklmann On the Complexity of some Problems Concerning the Use of Procedures II. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1982, v:18, n:, pp:411-430 [Journal ] Paliath Narendran , Friedrich Otto , Karl Winklmann The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems is NP-Complete [Citation Graph (0, 0)][DBLP ] Information and Control, 1984, v:63, n:1/2, pp:58-66 [Journal ] Rockford J. Ross , Karl Winklmann Repetitive Strings are not Context-Free. [Citation Graph (0, 0)][DBLP ] ITA, 1982, v:16, n:3, pp:191-199 [Journal ] N. Lakshmipathy , Karl Winklmann "Global" Graph Problems Tend to Be Intractable. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1986, v:32, n:3, pp:407-428 [Journal ] Ronald L. Rivest , Albert R. Meyer , Daniel J. Kleitman , Karl Winklmann , Joel Spencer Coping with Errors in Binary Search Procedures. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1980, v:20, n:3, pp:396-404 [Journal ] William Slough , Karl Winklmann On Limitations of Transformations Between Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1991, v:24, n:3, pp:149-168 [Journal ] Michael Machtey , Karl Winklmann , Paul Young Simple Gödel Numberings, Isomorphisms, and Programming Properties. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1978, v:7, n:1, pp:39-60 [Journal ] William F. Ogden , Rockford J. Ross , Karl Winklmann An ``Interchange Lemma'' for Context-Free Languages. [Citation Graph (0, 0)][DBLP ] SIAM J. Comput., 1985, v:14, n:2, pp:410-415 [Journal ] Albert R. Meyer , Karl Winklmann Expressing Program Looping in Regular Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1982, v:18, n:, pp:301-323 [Journal ] Search in 0.001secs, Finished in 0.002secs