Search dblp for Publications

• > Home > Search

@article{DBLP:journals/iandc/BaranyF83,
  author       = {Imre B{\'{a}}r{\'{a}}ny and
                  Zolt{\'{a}}n F{\"{u}}redi},
  title        = {Mental Poker with Three or More Players},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {84--93},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80030-8},
  doi          = {10.1016/S0019-9958(83)80030-8},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BaranyF83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/BarendregtR83,
  author       = {Henk Barendregt and
                  Adrian Rezus},
  title        = {Semantics for Classical {AUTOMATH} and Related Systems},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {127--147},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80033-3},
  doi          = {10.1016/S0019-9958(83)80033-3},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BarendregtR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/EhrenfeuchtR83,
  author       = {Andrzej Ehrenfeucht and
                  Grzegorz Rozenberg},
  title        = {Repetition of Subwords in {DOL} Languages},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {13--35},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80028-X},
  doi          = {10.1016/S0019-9958(83)80028-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/EhrenfeuchtR83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Hennessy83,
  author       = {Matthew Hennessy},
  title        = {Synchronous and Asynchronous Experiments on Processes},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {36--83},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80029-1},
  doi          = {10.1016/S0019-9958(83)80029-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Hennessy83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Schmeck83,
  author       = {Hartmut Schmeck},
  title        = {Algebraic Semantics of Recursive Flowchart Schemes},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {108--126},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80032-1},
  doi          = {10.1016/S0019-9958(83)80032-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Schmeck83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Staiger83,
  author       = {Ludwig Staiger},
  title        = {Subspaces of GF(q)w and Convolutional Codes},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {148--183},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80034-5},
  doi          = {10.1016/S0019-9958(83)80034-5},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Staiger83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Stolboushkin83,
  author       = {Alexei P. Stolboushkin},
  title        = {Regular Dynamic Logic Is Not Interpretable in Deterministic Context-Free
                  Dynamic Logic},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {94--107},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80031-X},
  doi          = {10.1016/S0019-9958(83)80031-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Stolboushkin83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Weiss83,
  author       = {J{\"{u}}rgen Weiss},
  title        = {An n3/2 Lower Bound on the Monotone Network Complexity of the Boolean
                  Convolution},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {184--188},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80035-7},
  doi          = {10.1016/S0019-9958(83)80035-7},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Weiss83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/YamasakiD83,
  author       = {Susumu Yamasaki and
                  Shuji Doshita},
  title        = {The Satisfiability Problem for a Class Consisting of Horn Sentences
                  and Some Non-Horn Sentences in Proportional Logic},
  journal      = {Inf. Control.},
  volume       = {59},
  number       = {1-3},
  pages        = {1--12},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0019-9958(83)80027-8},
  doi          = {10.1016/S0019-9958(83)80027-8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/YamasakiD83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}