Search dblp for Publications

export results for "toc:db/journals/eatcs/eatcs95.bht:"

 download as .bib file

@article{DBLP:journals/eatcs/AcetoC08,
  author       = {Luca Aceto and
                  Silvio Capobianco},
  title        = {On the Existence of a Finite Base for Complete Trace Equivalence over
                  {BPA} with Interrupt},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {220--240},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/AcetoC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/AmbuhlMMS08,
  author       = {Christoph Amb{\"{u}}hl and
                  Monaldo Mastrolilli and
                  Nikolaus Mutsanas and
                  Ola Svensson},
  title        = {Precedence Constraint Scheduling and Connections to Dimension Theory
                  of Partial Orders},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {37--58},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/AmbuhlMMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/AntonikHLNW08,
  author       = {Adam Antonik and
                  Michael Huth and
                  Kim G. Larsen and
                  Ulrik Nyman and
                  Andrzej Wasowski},
  title        = {20 Years of Modal and Mixed Specifications},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {94--129},
  year         = {2008},
  timestamp    = {Mon, 11 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/AntonikHLNW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/BlassG08,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal
                  Datalog},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {164--182},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BlassG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/BornHW08,
  author       = {Axel Born and
                  Cor A. J. Hurkens and
                  Gerhard J. Woeginger},
  title        = {The Freudenthal Problem and its Ramifications (Part {III)}},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {201--219},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BornHW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/HermannE08,
  author       = {Frank Hermann and
                  Hartmut Ehrig},
  title        = {Process Definition using Subobject Transformation Systems},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {153--163},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/HermannE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/KariT08,
  author       = {Jarkko Kari and
                  Siamak Taati},
  title        = {Combinatorics of Conservation Laws},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {183--197},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/KariT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Rampersad08,
  author       = {Narad Rampersad},
  title        = {Avoiding Sufficiently Large Binary Patterns},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {241--245},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Rampersad08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Scheideler08,
  author       = {Christian Scheideler},
  title        = {Algorithms for Overlay Networks},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {130--152},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Scheideler08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Sherstov08,
  author       = {Alexander A. Sherstov},
  title        = {Communication Lower Bounds Using Dual Polynomials},
  journal      = {Bull. {EATCS}},
  volume       = {95},
  pages        = {59--93},
  year         = {2008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sherstov08.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.