Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/stacs/stacs89.bht:"
@inproceedings{DBLP:conf/stacs/AlevizosBP89, author = {Panagiotis Alevizos and Jean{-}Daniel Boissonnat and Franco P. Preparata}, editor = {Burkhard Monien and Robert Cori}, title = {On the Boundary of a Union of Rays}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {72--83}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028974}, doi = {10.1007/BFB0028974}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/AlevizosBP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/BatarekhS89, author = {A{\"{\i}}da Batarekh and V. S. Subrahmanian}, editor = {Burkhard Monien and Robert Cori}, title = {The Query Topology in Logic Programming}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {375--387}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029000}, doi = {10.1007/BFB0029000}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/BatarekhS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/BeameB89, author = {Paul Beame and Hans L. Bodlaender}, editor = {Burkhard Monien and Robert Cori}, title = {Distributed Computing on TRansitive Networks: The Thorus}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {294--303}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028993}, doi = {10.1007/BFB0028993}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/BeameB89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/BeaudryMT89, author = {Martin Beaudry and Pierre McKenzie and Denis Th{\'{e}}rien}, editor = {Burkhard Monien and Robert Cori}, title = {Testing Membership: Beyond Permutation Groups (Extended Abstract)}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {388--399}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029001}, doi = {10.1007/BFB0029001}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/BeaudryMT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/BermanS89, author = {Piotr Berman and Georg Schnitger}, editor = {Burkhard Monien and Robert Cori}, title = {On the Complexity of Approximating the Independent Set Problem}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {256--268}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028990}, doi = {10.1007/BFB0028990}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/BermanS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Berstel89, author = {Jean Berstel}, editor = {Burkhard Monien and Robert Cori}, title = {Properties of Infinite Words: Recent Result}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {36--46}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028971}, doi = {10.1007/BFB0028971}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Berstel89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/BuntrockH89, author = {Gerhard Buntrock and Albrecht Hoene}, editor = {Burkhard Monien and Robert Cori}, title = {Reversals and Alternation}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {218--228}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028986}, doi = {10.1007/BFB0028986}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/BuntrockH89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/CaiH89, author = {Jin{-}yi Cai and Lane A. Hemachandra}, editor = {Burkhard Monien and Robert Cori}, title = {On the Power of Parity Polynomial Time}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {229--239}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028987}, doi = {10.1007/BFB0028987}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/CaiH89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/CecchiNV89, author = {Maria Morandi Cecchi and F. Nachria and O. Viele}, editor = {Burkhard Monien and Robert Cori}, title = {{AXE:} The Syntax Driven Diagram Editor for Visual Languages used in the Software Engineering Environments AxIS}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {530--531}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029013}, doi = {10.1007/BFB0029013}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/CecchiNV89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Charron-Bost89, author = {Bernadette Charron{-}Bost}, editor = {Burkhard Monien and Robert Cori}, title = {Measure of Parallelism of Distributed Computations}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {434--445}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029005}, doi = {10.1007/BFB0029005}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Charron-Bost89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/CulikK89, author = {Karel Cul{\'{\i}}k II and Juhani Karhum{\"{a}}ki}, editor = {Burkhard Monien and Robert Cori}, title = {On the Equivalence Problem for Deterministic Multitape Automata and Transducers}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {468--479}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029008}, doi = {10.1007/BFB0029008}, timestamp = {Wed, 24 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stacs/CulikK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Diekert89, author = {Volker Diekert}, editor = {Burkhard Monien and Robert Cori}, title = {Word Problems over TRaces Which are Solvable in Linear Time}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {168--180}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028982}, doi = {10.1007/BFB0028982}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Diekert89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/DjidjevLS89, author = {Hristo N. Djidjev and Andrzej Lingas and J{\"{o}}rg{-}R{\"{u}}diger Sack}, editor = {Burkhard Monien and Robert Cori}, title = {An O(n log n) Algorithm for Computing a Link Center in a Simple Polygon}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {96--107}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028976}, doi = {10.1007/BFB0028976}, timestamp = {Wed, 14 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/DjidjevLS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Doenhardt89, author = {J{\"{u}}rgen Doenhardt}, editor = {Burkhard Monien and Robert Cori}, title = {Fault Masking Probabilities with Single and Multiple Signature Analysis}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {327--338}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028996}, doi = {10.1007/BFB0028996}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Doenhardt89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Frougny89, author = {Christiane Frougny}, editor = {Burkhard Monien and Robert Cori}, title = {Linear Numeration Systems, Theta-Developments and Finite Automata}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {144--155}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028980}, doi = {10.1007/BFB0028980}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Frougny89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/FussellT89, author = {Donald S. Fussell and Ramakrishna Thurimella}, editor = {Burkhard Monien and Robert Cori}, title = {Successive Approximation in Parallel Graph Algorithms}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {205--217}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028985}, doi = {10.1007/BFB0028985}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/FussellT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/GanesanH89, author = {K. Ganesan and Steven Homer}, editor = {Burkhard Monien and Robert Cori}, title = {Complete Problems and Strong Polynomial Reducibilities}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {240--250}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028988}, doi = {10.1007/BFB0028988}, timestamp = {Wed, 17 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stacs/GanesanH89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/GutjahrWW89, author = {Wolfgang Gutjahr and Emo Welzl and Gerhard J. Woeginger}, editor = {Burkhard Monien and Robert Cori}, title = {Polynomial Graph-Colorings}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {108--119}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028977}, doi = {10.1007/BFB0028977}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/GutjahrWW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Heide89, author = {Friedhelm Meyer auf der Heide}, editor = {Burkhard Monien and Robert Cori}, title = {On Genuinely Time Bounded Compuations}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {1--16}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028969}, doi = {10.1007/BFB0028969}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Heide89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Heide89a, author = {Friedhelm Meyer auf der Heide}, editor = {Burkhard Monien and Robert Cori}, title = {Computing Minimum Spanning Forests on 1- and 2-Dimensional Processor Arrays}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {181--192}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028983}, doi = {10.1007/BFB0028983}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Heide89a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/HeideW89, author = {Friedhelm Meyer auf der Heide and Rolf Wanka}, editor = {Burkhard Monien and Robert Cori}, title = {Time-Optimal Simulations of Networks by Universal Parallel Computers}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {120--131}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028978}, doi = {10.1007/BFB0028978}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/HeideW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Hennicker89, author = {Rolf Hennicker}, editor = {Burkhard Monien and Robert Cori}, title = {Observational Implementations}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {59--71}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028973}, doi = {10.1007/BFB0028973}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Hennicker89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Hermann89, author = {Miki Hermann}, editor = {Burkhard Monien and Robert Cori}, title = {Chain Properties of Rule Closures}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {339--347}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028997}, doi = {10.1007/BFB0028997}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Hermann89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Himsolt89, author = {Michael Himsolt}, editor = {Burkhard Monien and Robert Cori}, title = {GraphEd: An Interactive Garpg Editor}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {532--533}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029014}, doi = {10.1007/BFB0029014}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Himsolt89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Hinz89, author = {Friedhelm Hinz}, editor = {Burkhard Monien and Robert Cori}, title = {Classes of Picture Languages that Cannot be Distinguished in the Chain Code Concept and Deletion of Redundant Retreats}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {132--143}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028979}, doi = {10.1007/BFB0028979}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Hinz89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Jager89, author = {Michael J{\"{a}}ger}, editor = {Burkhard Monien and Robert Cori}, title = {{SAMPLE:} {A} Language Dependent Prototyping Environment}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {534--535}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029015}, doi = {10.1007/BFB0029015}, timestamp = {Wed, 27 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Jager89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Jancar89, author = {Petr Jancar}, editor = {Burkhard Monien and Robert Cori}, title = {Decidability of Waek Fairness in Petri Nets}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {446--457}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029006}, doi = {10.1007/BFB0029006}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Jancar89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Janowski89, author = {Tomasz Janowski}, editor = {Burkhard Monien and Robert Cori}, title = {Examining the Satisfiability of Formulas of Propositional Dynamic Logic}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {536}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029016}, doi = {10.1007/BFB0029016}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Janowski89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/JonssonP89, author = {Bengt Jonsson and Joachim Parrow}, editor = {Burkhard Monien and Robert Cori}, title = {Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {421--433}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029004}, doi = {10.1007/BFB0029004}, timestamp = {Tue, 31 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/JonssonP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/KalyanasundaramS89, author = {Bala Kalyanasundaram and Georg Schnitger}, editor = {Burkhard Monien and Robert Cori}, title = {Rounds versus Time for the Two Person Pebble Game (Extended Abstract)}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {517--529}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029012}, doi = {10.1007/BFB0029012}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/KalyanasundaramS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/KellMPTW89, author = {V. Kell and Albert Maier and Andreas Potthoff and Wolfgang Thomas and U. Wermuth}, editor = {Burkhard Monien and Robert Cori}, title = {{AMORE:} {A} System for Computing Automata, MOnoids, and Regular Expressions}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {537--538}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029017}, doi = {10.1007/BFB0029017}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/KellMPTW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/KreveldO89, author = {Marc J. van Kreveld and Mark H. Overmars}, editor = {Burkhard Monien and Robert Cori}, title = {Concatenable Segment Trees (Extended Abstract)}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {493--504}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029010}, doi = {10.1007/BFB0029010}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/KreveldO89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Lavault89, author = {Christian Lavault}, editor = {Burkhard Monien and Robert Cori}, title = {Average Number of Messages for Distributed Leader Finding in Rings of Processors}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {269--281}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028991}, doi = {10.1007/BFB0028991}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Lavault89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Lucio-CarrascoG89, author = {Francisca Lucio{-}Carrasco and Antonio Gavilanes{-}Franco}, editor = {Burkhard Monien and Robert Cori}, title = {A First Order Logic for Partial Functions (Extended Abstract)}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {47--58}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028972}, doi = {10.1007/BFB0028972}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Lucio-CarrascoG89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Mayr89, author = {Ernst W. Mayr}, editor = {Burkhard Monien and Robert Cori}, title = {Membership in Plynomial Ideals over {Q} Is Exponential Space Complete}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {400--406}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029002}, doi = {10.1007/BFB0029002}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Mayr89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Mosses89, author = {Peter D. Mosses}, editor = {Burkhard Monien and Robert Cori}, title = {Unified Algebras and Action Semantics}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {17--35}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028970}, doi = {10.1007/BFB0028970}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stacs/Mosses89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/NarendranS89, author = {Paliath Narendran and Jonathan Stillman}, editor = {Burkhard Monien and Robert Cori}, title = {It is Undecidable Whether the Knuth-Bendix Completion Procedure Generates a Crossed Pair}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {348--359}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028998}, doi = {10.1007/BFB0028998}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/NarendranS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Nickl89, author = {Friederike Nickl}, editor = {Burkhard Monien and Robert Cori}, title = {Algebraic Specifications for Domain THeory}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {360--374}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028999}, doi = {10.1007/BFB0028999}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Nickl89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/OvermarsS89, author = {Mark H. Overmars and Nicola Santoro}, editor = {Burkhard Monien and Robert Cori}, title = {{TIME} vs {BITS}}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {282--293}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028992}, doi = {10.1007/BFB0028992}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/OvermarsS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/PinST89, author = {Jean{-}Eric Pin and Howard Straubing and Denis Th{\'{e}}rien}, editor = {Burkhard Monien and Robert Cori}, title = {New Results on the Generalized Star-Height Problem}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {458--467}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029007}, doi = {10.1007/BFB0029007}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/PinST89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/PreparataT89, author = {Franco P. Preparata and Roberto Tamassia}, editor = {Burkhard Monien and Robert Cori}, title = {Dynamic Planar Point Location with Optimal Query Time}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {84--95}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028975}, doi = {10.1007/BFB0028975}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/PreparataT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/ReischukS89, author = {R{\"{u}}diger Reischuk and Bernd Schmeltz}, editor = {Burkhard Monien and Robert Cori}, title = {Area Efficient Methods to Increase the Reliability of Combinatorial Circuits}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {314--326}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028995}, doi = {10.1007/BFB0028995}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/ReischukS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/SantoroW89, author = {Nicola Santoro and Peter Widmayer}, editor = {Burkhard Monien and Robert Cori}, title = {Time is Not a Healer}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {304--313}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028994}, doi = {10.1007/BFB0028994}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/SantoroW89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/SchelenF89, author = {Olov Schel{\'{e}}n and Nils{-}Olof Forsgren}, editor = {Burkhard Monien and Robert Cori}, title = {A Proof System for Type Theory and {CCS}}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {539--540}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029018}, doi = {10.1007/BFB0029018}, timestamp = {Thu, 01 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/SchelenF89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Schwarzkopf89, author = {Otfried Schwarzkopf}, editor = {Burkhard Monien and Robert Cori}, title = {Parallel Computation of Discrete Voronoi Diagrams (Extended Abstract)}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {193--204}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028984}, doi = {10.1007/BFB0028984}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Schwarzkopf89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Schwill89, author = {Andreas Schwill}, editor = {Burkhard Monien and Robert Cori}, title = {Shorest Edge-Disjoint Paths in Graphs}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {505--516}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029011}, doi = {10.1007/BFB0029011}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Schwill89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Seidl89, author = {Helmut Seidl}, editor = {Burkhard Monien and Robert Cori}, title = {Deciding Equivalence of Finite Tree Automata}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {480--492}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029009}, doi = {10.1007/BFB0029009}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Seidl89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Shallit89, author = {Jeffrey O. Shallit}, editor = {Burkhard Monien and Robert Cori}, title = {A Generalization of Automatic Sequences}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {156--167}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028981}, doi = {10.1007/BFB0028981}, timestamp = {Mon, 09 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stacs/Shallit89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Szepietowski89, author = {Andrzej Szepietowski}, editor = {Burkhard Monien and Robert Cori}, title = {If Deterministic and Nondeterministic Space Complexities are Equal for \emph{log log n} then they are also Equal for \emph{log n}}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {251--255}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028989}, doi = {10.1007/BFB0028989}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Szepietowski89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/VermaR89, author = {Rakesh M. Verma and I. V. Ramakrishnan}, editor = {Burkhard Monien and Robert Cori}, title = {Some Complexity Theoretic Aspects of {AC} Rewriting}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {407--420}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029003}, doi = {10.1007/BFB0029003}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/VermaR89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/Wolff89, author = {Thomas Wolff}, editor = {Burkhard Monien and Robert Cori}, title = {Implementation of a Transition Sematics for Parallel Programs with Shared Variables}, booktitle = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, pages = {541--543}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0029019}, doi = {10.1007/BFB0029019}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/Wolff89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/stacs/1989, editor = {Burkhard Monien and Robert Cori}, title = {{STACS} 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {349}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0028968}, doi = {10.1007/BFB0028968}, isbn = {3-540-50840-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/stacs/1989.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.