default search action
Search dblp for Publications
export results for "toc:db/journals/eatcs/eatcs46.bht:"
@article{DBLP:journals/eatcs/Chapman92, author = {Nigel P. Chapman}, title = {On Extended Attribute Grammars}, journal = {Bull. {EATCS}}, volume = {46}, pages = {140--145}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Chapman92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Grosse-RhodeE92, author = {Martin Gro{\ss}e{-}Rhode and Hartmut Ehrig}, title = {Restriction Constructions in Specification Logics}, journal = {Bull. {EATCS}}, volume = {46}, pages = {84--89}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Grosse-RhodeE92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Gurevich92, author = {Yuri Gurevich}, title = {Zero-One Laws}, journal = {Bull. {EATCS}}, volume = {46}, pages = {90--106}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Gurevich92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/HemachandraO92, author = {Lane A. Hemachandra and Mitsunori Ogiwara}, title = {Is {\#}P Closed under Substraction?}, journal = {Bull. {EATCS}}, volume = {46}, pages = {107--123}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/HemachandraO92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/KariMPS92, author = {Lila Kari and Solomon Marcus and Gheorghe Paun and Arto Salomaa}, title = {In the prehistory of formal language theory: Gauss Languages}, journal = {Bull. {EATCS}}, volume = {46}, pages = {124--139}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/KariMPS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Makinen92, author = {Erkki M{\"{a}}kinen}, title = {A note on Graftings, Rotations, and Distances in Binary Trees}, journal = {Bull. {EATCS}}, volume = {46}, pages = {146--148}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Makinen92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Meinel92, author = {Christoph Meinel}, title = {Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design}, journal = {Bull. {EATCS}}, volume = {46}, pages = {149--170}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Meinel92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/PaunS92, author = {Gheorghe Paun and Arto Salomaa}, title = {Decision Problems Concerning the Thinness of {DOL} Languages}, journal = {Bull. {EATCS}}, volume = {46}, pages = {171--181}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/PaunS92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/ShallitW92, author = {Jeffrey O. Shallit and David A. Wilson}, title = {The "3x + 1" Problem and Finite Automata}, journal = {Bull. {EATCS}}, volume = {46}, pages = {182--185}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/ShallitW92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Urbanek92a, author = {Friedrich J. Urbanek}, title = {O = square}, journal = {Bull. {EATCS}}, volume = {46}, pages = {186--187}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Urbanek92a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Veloso92, author = {Paulo A. S. Veloso}, title = {Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour}, journal = {Bull. {EATCS}}, volume = {46}, pages = {188--192}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Veloso92.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.