Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/eatcs/AntoniCVBC95,
  author       = {G. Degli Antoni and
                  D. Cabianca and
                  M. Vaccari and
                  Marco Benini and
                  F. Casablanca},
  title        = {Linearity of Client/Server Systems},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/AntoniCVBC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/BertolR95,
  author       = {Michael Bertol and
                  Klaus Reinhardt},
  title        = {The Tautologies over a Finite Set are Context-Free},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/BertolR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/ChaitinAC95,
  author       = {Gregory J. Chaitin and
                  Asat Arslanov and
                  Cristian Calude},
  title        = {Program-size Complexity Computes the Halting Problem},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/ChaitinAC95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EhrigM95,
  author       = {Hartmut Ehrig and
                  Bernd Mahr},
  title        = {Theory and Practice of Software Development: {A} Review of Driving
                  Forces and Expectations},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EhrigM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Geurts95,
  author       = {F. Geurts},
  title        = {Hierarchy of Discrete-Time Dynamical Systems, a Survey},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Geurts95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Gurevich95,
  author       = {Yuri Gurevich},
  title        = {Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Gurevich95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Nourani95,
  author       = {Cyrus F. Nourani},
  title        = {Artificial Algebras},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Nourani95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Paun95,
  author       = {Gheorghe Paun},
  title        = {Splicing},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Paun95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Raz95,
  author       = {Danny Raz},
  title        = {Context-free Languages are Not Closed under Interior and Frontier},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Raz95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Vajnovszki95,
  author       = {Vincent Vajnovszki},
  title        = {Constant Time Generation of Binary Unordered Trees},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Vajnovszki95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Weihrauch95,
  author       = {Klaus Weihrauch},
  title        = {A Foundation of Computable Analysis},
  journal      = {Bull. {EATCS}},
  volume       = {57},
  year         = {1995},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Weihrauch95.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.