Search dblp for Publications

• > Home > Search

@article{DBLP:journals/eatcs/CoquandNSS94,
  author       = {Thierry Coquand and
                  Bengt Nordstr{\"{o}}m and
                  Jan M. Smith and
                  Bj{\"{o}}rn von Sydow},
  title        = {Type Theorie Programming},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {203--228},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/CoquandNSS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Ehrig94,
  author       = {Hartmut Ehrig},
  title        = {{FLEX:} {A} Flexible Extension and Integration Concept for Software
                  Development in SORSo and {COMPASS}},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {188--202},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Ehrig94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/EsparzaN94,
  author       = {Javier Esparza and
                  Mogens Nielsen},
  title        = {Decidability Issues for Petri Nets - a survey},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {244--262},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/EsparzaN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Fortnow94,
  author       = {Lance Fortnow},
  title        = {The Role of Relativization in Complexity Theory},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {229--243},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Fortnow94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Gramlich94,
  author       = {Bernhard Gramlich},
  title        = {A Note on a Parameterized Version of the Well-Founded Induction Pricible},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {274--277},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Gramlich94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Kodkinson94,
  author       = {Ian M. Hodkinson},
  title        = {Addendum to: Finite Variable Logics},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {278},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Kodkinson94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Paun94,
  author       = {Gheorghe Paun},
  title        = {Marcus Contextual Grammars},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {263--273},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Paun94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Seda94a,
  author       = {Anthony Karel Seda},
  title        = {Some Applications of General Topology To The Semantics of Logic Programms},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {279--291},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Seda94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eatcs/Seljee94,
  author       = {Ron Selj{\'{e}}e},
  title        = {Intergrity Constraint Checking for Updates in Deductive Databases,
                  a different approach},
  journal      = {Bull. {EATCS}},
  volume       = {52},
  pages        = {292--314},
  year         = {1994},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eatcs/Seljee94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}