Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/eatcs/BlassG00,
  author       = {Andreas Blass and
                  Yuri Gurevich},
  title        = {A New Zero-One Law and Strong Extension Axioms},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {103--122},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BlassG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/CorradiniH00,
  author       = {Andrea Corradini and
                  Reiko Heckel},
  title        = {Graph Transformation and Visual Modeling Techniques: Workshop Summary
                  and HowTo},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {69--76},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/CorradiniH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EhrigS00,
  author       = {Hartmut Ehrig and
                  Gunnar Schr{\"{o}}ter},
  title        = {The Role of Mathematics and Formal Specification Techniques in Software
                  System Development},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {77--83},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EsparzaRS00,
  author       = {Javier Esparza and
                  Peter Rossmanith and
                  Stefan Schwoon},
  title        = {A Uniform Framework for Problems on Context-Free Grammars},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {169--177},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EsparzaRS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/GasarchGK00,
  author       = {William I. Gasarch and
                  Evan Golub and
                  Clyde P. Kruskal},
  title        = {A Survey of Constant Time Parallel Sorting},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {84--102},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/GasarchGK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Honkala00,
  author       = {Juha Honkala},
  title        = {Zeros of Z-rational Sequences and Thin 0L Languages},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {178--182},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Honkala00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Maass00,
  author       = {Wolfgang Maass},
  title        = {Neural Computation: {A} Research Topic for Theoretical Computer Science?
                  Some Thoughts and Pointers},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {149--158},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Maass00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Martin-VideM00,
  author       = {Carlos Mart{\'{\i}}n{-}Vide and
                  Alexandru Mateescu},
  title        = {Contextual Generalized Sequential Machines},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {159--168},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Martin-VideM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Martin-VideP00,
  author       = {Carlos Mart{\'{\i}}n{-}Vide and
                  Gheorghe Paun},
  title        = {Computing with Membranes: One More Collapsing Hierarchy},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {183--188},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Martin-VideP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Mavronicolas00,
  author       = {Marios Mavronicolas},
  title        = {Annotated Bibliography on Counting Networks},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {123--132},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Mavronicolas00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Sassone00,
  author       = {Vladimiro Sassone},
  title        = {On the Algebraic Structure of Petri Nets},
  journal      = {Bull. {EATCS}},
  volume       = {72},
  pages        = {133--148},
  year         = {2000},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Sassone00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.