Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/eatcs/eatcs52.bht:"
@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} }
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.