default search action
Search dblp for Publications
export results for "toc:db/journals/iandc/iandc59.bht:"
@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} }
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.