Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/eatcs/eatcs39.bht:"
@article{DBLP:journals/eatcs/BookW89, author = {Ronald V. Book and Osamu Watanabe}, title = {A view of structural complexity theory}, journal = {Bull. {EATCS}}, volume = {39}, pages = {122--138}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/BookW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/CantoneC89, author = {Domenico Cantone and Vincenzo Cutello}, title = {Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection}, journal = {Bull. {EATCS}}, volume = {39}, pages = {139--148}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/CantoneC89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Crochemore89, author = {Maxime Crochemore}, title = {String-matching and periods}, journal = {Bull. {EATCS}}, volume = {39}, pages = {149--153}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Crochemore89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigC89, author = {Hartmut Ehrig and Ingo Cla{\ss}en}, title = {Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems}, journal = {Bull. {EATCS}}, volume = {39}, pages = {103--111}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigC89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/FulopV89, author = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi}, title = {Congruential tree languages are the same as recognizable tree languages - a proof for a theorem of D. Kozen}, journal = {Bull. {EATCS}}, volume = {39}, pages = {175--184}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/FulopV89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Goguen89, author = {Joseph A. Goguen}, title = {Momories of {ADJ}}, journal = {Bull. {EATCS}}, volume = {39}, pages = {96--102}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Goguen89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Gurevich89, author = {Yuri Gurevich}, title = {Logic in Computer Science Column}, journal = {Bull. {EATCS}}, volume = {39}, pages = {112--121}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Gurevich89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Hromkovic89, author = {Juraj Hromkovic}, title = {The knowledge on information content of problems provides much useful information to circuit designers}, journal = {Bull. {EATCS}}, volume = {39}, pages = {154--170}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Hromkovic89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/LucaV89, author = {Aldo de Luca and Stefano Varricchio}, title = {A positive pumping condition for regular sets}, journal = {Bull. {EATCS}}, volume = {39}, pages = {171--174}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/LucaV89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Luscanne89, author = {Pierre Lescanne}, title = {Well quasi-ordering in a paper by Maurice Janet}, journal = {Bull. {EATCS}}, volume = {39}, pages = {185--188}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Luscanne89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ollongren89, author = {Alexander Ollongren}, title = {A curious grammar}, journal = {Bull. {EATCS}}, volume = {39}, pages = {189--196}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ollongren89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Poigne89, author = {Axel Poign{\'{e}}}, title = {Bisimulation as cointersection}, journal = {Bull. {EATCS}}, volume = {39}, pages = {197--198}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Poigne89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Skowron89, author = {Andrzej Skowron}, title = {The evidence theory and decision tables}, journal = {Bull. {EATCS}}, volume = {39}, pages = {199--204}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Skowron89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Urbanek89, author = {Friedrich J. Urbanek}, title = {On minimizing finite automata}, journal = {Bull. {EATCS}}, volume = {39}, pages = {205--206}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Urbanek89.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.