Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/stacs/stacs89.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-30 21:13 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
