BibTeX records: Karl Winklmann

download as .bib file

@article{DBLP:journals/mst/SloughW91,
  author       = {William Slough and
                  Karl Winklmann},
  title        = {On Limitations of Transformations Between Combinatorial Problems},
  journal      = {Math. Syst. Theory},
  volume       = {24},
  number       = {3},
  pages        = {149--168},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF02090395},
  doi          = {10.1007/BF02090395},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/SloughW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/LakshmipathyW86,
  author       = {N. Lakshmipathy and
                  Karl Winklmann},
  title        = {"Global" Graph Problems Tend to Be Intractable},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {407--428},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90038-3},
  doi          = {10.1016/0022-0000(86)90038-3},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/LakshmipathyW86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamcomp/OgdenRW85,
  author       = {William F. Ogden and
                  Rockford J. Ross and
                  Karl Winklmann},
  title        = {An "Interchange Lemma" for Context-Free Languages},
  journal      = {{SIAM} J. Comput.},
  volume       = {14},
  number       = {2},
  pages        = {410--415},
  year         = {1985},
  url          = {https://doi.org/10.1137/0214031},
  doi          = {10.1137/0214031},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/OgdenRW85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/NarendranOW84,
  author       = {Paliath Narendran and
                  Friedrich Otto and
                  Karl Winklmann},
  title        = {The Uniform Conjugacy Problem for Finite Church-Rosser Thue Systems
                  is NP-Complete},
  journal      = {Inf. Control.},
  volume       = {63},
  number       = {1/2},
  pages        = {58--66},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80041-8},
  doi          = {10.1016/S0019-9958(84)80041-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/NarendranOW84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Winklmann82,
  author       = {Karl Winklmann},
  title        = {On the Complexity of Some Problems Concerning the Use of Procedures
                  {I}},
  journal      = {Acta Informatica},
  volume       = {18},
  pages        = {299--318},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00263196},
  doi          = {10.1007/BF00263196},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Winklmann82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Winklmann82a,
  author       = {Karl Winklmann},
  title        = {On the Complexity of some Problems Concerning the Use of Procedures
                  {II}},
  journal      = {Acta Informatica},
  volume       = {18},
  pages        = {411--430},
  year         = {1982},
  url          = {https://doi.org/10.1007/BF00289578},
  doi          = {10.1007/BF00289578},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Winklmann82a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/RossW82,
  author       = {Rockford J. Ross and
                  Karl Winklmann},
  title        = {Repetitive Strings are not Context-Free},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {16},
  number       = {3},
  pages        = {191--199},
  year         = {1982},
  url          = {https://doi.org/10.1051/ita/1982160301911},
  doi          = {10.1051/ITA/1982160301911},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/RossW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MeyerW82,
  author       = {Albert R. Meyer and
                  Karl Winklmann},
  title        = {Expressing Program Looping in Regular Dynamic Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {18},
  pages        = {301--323},
  year         = {1982},
  url          = {https://doi.org/10.1016/0304-3975(82)90071-8},
  doi          = {10.1016/0304-3975(82)90071-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/MeyerW82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jcss/RivestMKWS80,
  author       = {Ronald L. Rivest and
                  Albert R. Meyer and
                  Daniel J. Kleitman and
                  Karl Winklmann and
                  Joel Spencer},
  title        = {Coping with Errors in Binary Search Procedures},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {396--404},
  year         = {1980},
  url          = {https://doi.org/10.1016/0022-0000(80)90014-8},
  doi          = {10.1016/0022-0000(80)90014-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/RivestMKWS80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stoc/MeyerW79,
  author       = {Albert R. Meyer and
                  Karl Winklmann},
  editor       = {Michael J. Fischer and
                  Richard A. DeMillo and
                  Nancy A. Lynch and
                  Walter A. Burkhard and
                  Alfred V. Aho},
  title        = {On the Expressive Power of Dynamic Logic (Preliminary Report)},
  booktitle    = {Proceedings of the 11h Annual {ACM} Symposium on Theory of Computing,
                  April 30 - May 2, 1979, Atlanta, Georgia, {USA}},
  pages        = {167--175},
  publisher    = {{ACM}},
  year         = {1979},
  url          = {https://doi.org/10.1145/800135.804410},
  doi          = {10.1145/800135.804410},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/MeyerW79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamcomp/MachteyWY78,
  author       = {Michael Machtey and
                  Karl Winklmann and
                  Paul Young},
  title        = {Simple G{\"{o}}del Numberings, Isomorphisms, and Programming
                  Properties},
  journal      = {{SIAM} J. Comput.},
  volume       = {7},
  number       = {1},
  pages        = {39--60},
  year         = {1978},
  url          = {https://doi.org/10.1137/0207003},
  doi          = {10.1137/0207003},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/MachteyWY78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stoc/RivestMKWS78,
  author       = {Ronald L. Rivest and
                  Albert R. Meyer and
                  Daniel J. Kleitman and
                  Karl Winklmann and
                  Joel Spencer},
  editor       = {Richard J. Lipton and
                  Walter A. Burkhard and
                  Walter J. Savitch and
                  Emily P. Friedman and
                  Alfred V. Aho},
  title        = {Coping with Errors in Binary Search Procedures (Preliminary Report)},
  booktitle    = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
                  May 1-3, 1978, San Diego, California, {USA}},
  pages        = {227--232},
  publisher    = {{ACM}},
  year         = {1978},
  url          = {https://doi.org/10.1145/800133.804351},
  doi          = {10.1145/800133.804351},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/RivestMKWS78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Winklmann77,
  author       = {Karl Winklmann},
  title        = {A theoretical study of some aspects of parameter passing in algol60
                  and in similar programming languages},
  school       = {Purdue University, {USA}},
  year         = {1977},
  url          = {https://docs.lib.purdue.edu/dissertations/AAI7803300},
  timestamp    = {Wed, 26 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Winklmann77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.