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/stacs91.bht:"
download as .bib file
@inproceedings{DBLP:conf/stacs/AlbertCFTZ91,
author = {Luc Albert and
Rafael Casas and
Fran{\c{c}}ois Fages and
A. Torrecillas and
Paul Zimmermann},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Average Case Analysis of Unification Algorithms},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {196--213},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020799},
doi = {10.1007/BFB0020799},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/AlbertCFTZ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AlvarezBJ91,
author = {Carme {\`{A}}lvarez and
Jos{\'{e}} L. Balc{\'{a}}zar and
Birgit Jenner},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Functional Oracle Queries as a Measure of Parallel Time},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {422--433},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020817},
doi = {10.1007/BFB0020817},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/AlvarezBJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Balbiani91,
author = {Philippe Balbiani},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {A Modal Semantics for the Negation as Failure and the Closed World
Assumption Rules},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {523--534},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020826},
doi = {10.1007/BFB0020826},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Balbiani91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BaudeV91,
author = {Fran{\c{c}}oise Baude and
Guy Vidal{-}Naquet},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Actors as a Parallel Programming Model},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {184--195},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020798},
doi = {10.1007/BFB0020798},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BaudeV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Baum-WaidnerPW91,
author = {Birgit Baum{-}Waidner and
Birgit Pfitzmann and
Michael Waidner},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Unconditional Byzantine Agreement with Good Majority},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {285--295},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020806},
doi = {10.1007/BFB0020806},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Baum-WaidnerPW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BeauquierCPV91,
author = {Joffroy Beauquier and
Annie Choquet and
Antoine Petit and
Guy Vidal{-}Naquet},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Detection of Deadlocks in an Infinite Family of Nets},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {334--347},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020810},
doi = {10.1007/BFB0020810},
timestamp = {Thu, 14 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BeauquierCPV91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BerghammerS91,
author = {Rudolf Berghammer and
Gunther Schmidt},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {The RELVIEW-System},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {535--536},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020827},
doi = {10.1007/BFB0020827},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BerghammerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BestCD91,
author = {Eike Best and
Ludmila Cherkasova and
J{\"{o}}rg Desel},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Compositional Generation of Home States in Free Choice Systems},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {398--409},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020815},
doi = {10.1007/BFB0020815},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BestCD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BiryalcevGNS91,
author = {E. V. Biryalcev and
A. M. Gusenkov and
Ildar R. Nasyrov and
A. A. Saveliev},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Geometry Models Design System GammaPOM},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {537--538},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020828},
doi = {10.1007/BFB0020828},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BiryalcevGNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BrassardCLL91,
author = {Gilles Brassard and
Claude Cr{\'{e}}peau and
Sophie Laplante and
Christian L{\'{e}}ger},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Computationally Convincing Proofs of Knowledge},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {251--262},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020803},
doi = {10.1007/BFB0020803},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BrassardCLL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BuhrmanST91,
author = {Harry Buhrman and
Edith Spaan and
Leen Torenvliet},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Bounded Reductions},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {410--421},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020816},
doi = {10.1007/BFB0020816},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BuhrmanST91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BuntrockDHM91,
author = {Gerhard Buntrock and
Carsten Damm and
Ulrich Hertrampf and
Christoph Meinel},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Structure and Importance of Logspace-MOD-Classes},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {360--371},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020812},
doi = {10.1007/BFB0020812},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BuntrockDHM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BussG91,
author = {Jonathan F. Buss and
Judy Goldsmith},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Nondterminism Within {P}},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {348--359},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020811},
doi = {10.1007/BFB0020811},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BussG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/CarlssonMPB91,
author = {Svante Carlsson and
Christer Mattsson and
Patricio V. Poblete and
Mats Bengtsson},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {A New Compacting Garbage-Collection Algorithm with a Good Average-Case
Performance},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {296--308},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020807},
doi = {10.1007/BFB0020807},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/CarlssonMPB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Condon91,
author = {Anne Condon},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {The Complexity of the Max Word Problem},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {456--465},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020820},
doi = {10.1007/BFB0020820},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Condon91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DenisD91,
author = {Fran{\c{c}}ois Denis and
Jean{-}Paul Delahaye},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Unfolding, Procedural and Fixpoint Semantics of Logic Programs},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {511--522},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020825},
doi = {10.1007/BFB0020825},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DenisD91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DeselE91,
author = {J{\"{o}}rg Desel and
Javier Esparza},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Reachability in Reversible Free Choice Systems},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {384--397},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020814},
doi = {10.1007/BFB0020814},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/DeselE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Diekert91,
author = {Volker Diekert},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {On the Concatenation of Infinite Traces},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {105--117},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020791},
doi = {10.1007/BFB0020791},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Diekert91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FortnowL91,
author = {Lance Fortnow and
Carsten Lund},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Interactive Proof Systems and Alternating Time-Space Complexity},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {263--274},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020804},
doi = {10.1007/BFB0020804},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/FortnowL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/FrougnyS91,
author = {Christiane Frougny and
Jacques Sakarovitch},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Rational Ralations with Bounded Delay},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {50--63},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020787},
doi = {10.1007/BFB0020787},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/FrougnyS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Gastin91,
author = {Paul Gastin},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Recognizable and Rational Languages of Finite and Infinite Traces},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {89--104},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020790},
doi = {10.1007/BFB0020790},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Gastin91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Gilleron91,
author = {R{\'{e}}mi Gilleron},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Decision Problems for Term Rewriting Systems and Recognizable Tree
Languages},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {148--159},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020795},
doi = {10.1007/BFB0020795},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Gilleron91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Godau91,
author = {Michael Godau},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {A Natural Metric for Curves - Computing the Distance for Polygonal
Chains and Approximation Algorithms},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {127--136},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020793},
doi = {10.1007/BFB0020793},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Godau91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Gradel91,
author = {Erich Gr{\"{a}}del},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {The Expressive Power of Second Order Horn Logic},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {466--477},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020821},
doi = {10.1007/BFB0020821},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Gradel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GuaianaRS91,
author = {Giovanna Guaiana and
Antonio Restivo and
Sergio Salemi},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {On Aperiodic Trace Languages},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {76--88},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020789},
doi = {10.1007/BFB0020789},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GuaianaRS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Hartmann91,
author = {Joachim Hartmann},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {The Random Testability of the n-Input {AND} Gate},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {488--498},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020823},
doi = {10.1007/BFB0020823},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Hartmann91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/HoffmannK91,
author = {Berthold Hoffmann and
Bernd Krieg{-}Br{\"{u}}ckner},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {The {PROSPECTRA} System},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {539--540},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020829},
doi = {10.1007/BFB0020829},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/HoffmannK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jeron91,
author = {Thierry J{\'{e}}ron},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Testing for Unboundedness of {FIFO} Channels},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {322--333},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020809},
doi = {10.1007/BFB0020809},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Jeron91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jeron91a,
author = {Thierry J{\'{e}}ron},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Prototype of a Verification Tool},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {541--542},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020830},
doi = {10.1007/BFB0020830},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Jeron91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Jouannaud91,
author = {Jean{-}Pierre Jouannaud},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Executable Higher-Order Algebraic Specifications},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {16--25},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020784},
doi = {10.1007/BFB0020784},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Jouannaud91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KrogerS91,
author = {J{\"{o}}rg Kr{\"{o}}ger and
Lothar Schmitz},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {{IPG} - An Interactive Parser Generator},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {543--544},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020831},
doi = {10.1007/BFB0020831},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/KrogerS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LeszczylowskiW91,
author = {Jacek Leszczylowski and
Martin Wirsing},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Polymorphism, Parameterization and Typing: An Algebraic Specification
Perspective},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {1--15},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020783},
doi = {10.1007/BFB0020783},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LeszczylowskiW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/MadlenerO91,
author = {Klaus Madlener and
Friedrich Otto},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Decidable Sentences for Context-Free Groups},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {160--171},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020796},
doi = {10.1007/BFB0020796},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/MadlenerO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Pimont91,
author = {Simone Pimont},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {A Placement System for Constrained Blocks with Flexible Shapes},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {545--546},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020832},
doi = {10.1007/BFB0020832},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Pimont91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/PitschS91,
author = {Gisela Pitsch and
Elmar Sch{\"{o}}mer},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Optimal Parallel Recognition of Bracket Languages on Hypercubes},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {434--443},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020818},
doi = {10.1007/BFB0020818},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/PitschS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/RajasekaranO91,
author = {Sanguthevar Rajasekaran and
Richard Overholt},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Constant Queue Routing on a Mesh},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {444--455},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020819},
doi = {10.1007/BFB0020819},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/RajasekaranO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/RaykoVR91,
author = {D. Rayko and
Kirill Vershinin and
Igor Romanenko},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Algebraic Program Interpreter {APREX2}},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {547--548},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020833},
doi = {10.1007/BFB0020833},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/RaykoVR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Rossmanith91,
author = {Peter Rossmanith},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {The Owner Concept for PRAMs},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {172--183},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020797},
doi = {10.1007/BFB0020797},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Rossmanith91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Roth91,
author = {Peter Roth},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {l-Occurrences of Avoidable Patterns},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {42--49},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020786},
doi = {10.1007/BFB0020786},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Roth91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Rutenburg91,
author = {Vladislav Rutenburg},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Complexity Classification of Truth Maintenance Systems},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {372--383},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020813},
doi = {10.1007/BFB0020813},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Rutenburg91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SanthaW91,
author = {Miklos Santha and
Christopher B. Wilson},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Polynomial Size Constant Depth Circuits with a Limited Number of Negations},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {228--237},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020801},
doi = {10.1007/BFB0020801},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SanthaW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SantisP91,
author = {Alfredo De Santis and
Giuseppe Persiano},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Tight Bounds on the Path Length of Binary Trees},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {478--487},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020822},
doi = {10.1007/BFB0020822},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SantisP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Schmeltz91,
author = {Bernd Schmeltz},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Optimal Tradeoffs Between Time And Bit Complexity In Distributed Synchronous
Rings},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {275--284},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020805},
doi = {10.1007/BFB0020805},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Schmeltz91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Schmidt91,
author = {Martin Schmidt},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {On the Power of Several Queues},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {64--75},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020788},
doi = {10.1007/BFB0020788},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Schmidt91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Schoett91,
author = {Oliver Schoett},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {An Observational Subset of First-Order Logic Cannot Specify the Behaviour
of a Counter (Extended Abstract)},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {499--510},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020824},
doi = {10.1007/BFB0020824},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Schoett91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/SernaS91,
author = {Maria J. Serna and
Paul G. Spirakis},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Tight {RNC} Approximations to Max Flow},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {118--126},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020792},
doi = {10.1007/BFB0020792},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/SernaS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Tarui91,
author = {Jun Tarui},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Randomized Polynomials, Threshold Circuits, and the Polynomial Hierarchy},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {238--250},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020802},
doi = {10.1007/BFB0020802},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Tarui91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Vitter91,
author = {Jeffrey Scott Vitter},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Efficient Memory Access in Large-Scale Computation},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {26--41},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020785},
doi = {10.1007/BFB0020785},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Vitter91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Vogler91,
author = {Walter Vogler},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Bisimulation and Action Refinement},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {309--321},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020808},
doi = {10.1007/BFB0020808},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Vogler91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/WangS91,
author = {Bal Wang and
R. K. Shyamasundar},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {Methodology for Proving the Termination of Logic Programs},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {214--227},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020800},
doi = {10.1007/BFB0020800},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/WangS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Wegener91,
author = {Ingo Wegener},
editor = {Christian Choffrut and
Matthias Jantzen},
title = {The Worst Case Complexity of McDiarmid and Reed's Variant of Bottom-Up-Heap
Sort is Less Than n log n + 1.1n},
booktitle = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
pages = {137--147},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020794},
doi = {10.1007/BFB0020794},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/Wegener91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/stacs/1991,
editor = {Christian Choffrut and
Matthias Jantzen},
title = {{STACS} 91, 8th Annual Symposium on Theoretical Aspects of Computer
Science, Hamburg, Germany, February 14-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {480},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0020782},
doi = {10.1007/BFB0020782},
isbn = {3-540-53709-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/1991.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-29 06:48 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:
