Search dblp for Publications

export results for "toc:db/conf/fct/fct91.bht:"

 download as .bib file

@inproceedings{DBLP:conf/fct/AllenderG91,
  author       = {Eric Allender and
                  Vivek Gore},
  editor       = {Lothar Budach},
  title        = {On Strong Separations from AC\({}^{\mbox{0}}\) (Extended Abstract)},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_44},
  doi          = {10.1007/3-540-54458-5\_44},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/AllenderG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BaierM91,
  author       = {Christel Baier and
                  Mila E. Majster{-}Cederbaum},
  editor       = {Lothar Budach},
  title        = {The Consistency of a Noninterleaving and an Interleaving Model for
                  Full {TCSP}},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {105--120},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_55},
  doi          = {10.1007/3-540-54458-5\_55},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BaierM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BankKMS91,
  author       = {Bernd Bank and
                  Teresa Krick and
                  Reinhard Mandel and
                  Pablo Solern{\'{o}}},
  editor       = {Lothar Budach},
  title        = {A Gemometrical Bound for Integer Programming with Polynomial Constraints},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {121--125},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_56},
  doi          = {10.1007/3-540-54458-5\_56},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BankKMS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BarcucciPRS91,
  author       = {Elena Barcucci and
                  Renzo Pinzani and
                  E. Rodella and
                  Renzo Sprugnoli},
  editor       = {Lothar Budach},
  title        = {A Characterization of Binary Search Networks},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {126--135},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_57},
  doi          = {10.1007/3-540-54458-5\_57},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BarcucciPRS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BeauquireNN91,
  author       = {Dani{\`{e}}le Beauquier and
                  Maurice Nivat and
                  Damian Niwinski},
  editor       = {Lothar Budach},
  title        = {About the Effect of the Number of Successful Paths in an Infinite
                  Tree on the Recognizability by a Finite Automaton with B{\"{u}}chi
                  Conditions},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {136--145},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_58},
  doi          = {10.1007/3-540-54458-5\_58},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BeauquireNN91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BreveglieriCC91,
  author       = {Luca Breveglieri and
                  Claudio Citrini and
                  Stefano Crespi{-}Reghizzi},
  editor       = {Lothar Budach},
  title        = {Deterministic Dequeue Automata and {LL(1)} Parsing of Breadth-Depth
                  Grammars},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {146--156},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_59},
  doi          = {10.1007/3-540-54458-5\_59},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BreveglieriCC91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BruschiP91,
  author       = {Danilo Bruschi and
                  Giovanni Pighizzini},
  editor       = {Lothar Budach},
  title        = {The Complexity of Computing Maximal Word Functions},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {157--167},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_60},
  doi          = {10.1007/3-540-54458-5\_60},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BruschiP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Buchmann91,
  author       = {Johannes A. Buchmann},
  editor       = {Lothar Budach},
  title        = {Number Theoretic Algorithms and Cryptology},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {16--21},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_45},
  doi          = {10.1007/3-540-54458-5\_45},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Buchmann91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BuntrockJLR91,
  author       = {Gerhard Buntrock and
                  Birgit Jenner and
                  Klaus{-}J{\"{o}}rn Lange and
                  Peter Rossmanith},
  editor       = {Lothar Budach},
  title        = {Unambiguity and Fewness for Logarithmic Space},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {168--179},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_61},
  doi          = {10.1007/3-540-54458-5\_61},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BuntrockJLR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Cai91,
  author       = {Jin{-}yi Cai},
  editor       = {Lothar Budach},
  title        = {Computations Over Infinite Groups},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {22--32},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_46},
  doi          = {10.1007/3-540-54458-5\_46},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Cai91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Chardin91,
  author       = {Marc Chardin},
  editor       = {Lothar Budach},
  title        = {Differential Resultants and Subresultants},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {180--189},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_62},
  doi          = {10.1007/3-540-54458-5\_62},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Chardin91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ChlebusV91,
  author       = {Bogdan S. Chlebus and
                  Imrich Vrto},
  editor       = {Lothar Budach},
  title        = {Unifying Binary-Search Trees and Permutations},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {190--199},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_63},
  doi          = {10.1007/3-540-54458-5\_63},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/ChlebusV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/DassowL91,
  author       = {J{\"{u}}rgen Dassow and
                  Klaus{-}J{\"{o}}rn Lange},
  editor       = {Lothar Budach},
  title        = {Computational Calculus and Hardest Languages of Automata with Abstract
                  Storages},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {200--209},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_64},
  doi          = {10.1007/3-540-54458-5\_64},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/DassowL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/FachiniMNP91,
  author       = {Emanuela Fachini and
                  Angelo Monti and
                  Margherita Napoli and
                  Domenico Parente},
  editor       = {Lothar Budach},
  title        = {Systolic Y-Tree Automata: Closure Properties and Decision Problems},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {210--219},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_65},
  doi          = {10.1007/3-540-54458-5\_65},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/FachiniMNP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Groger91,
  author       = {Hans Dietmar Gr{\"{o}}ger},
  editor       = {Lothar Budach},
  title        = {A New Partition Lemma for Planar Graphs and Its Application to Circuit
                  Complexity},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {220--229},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_66},
  doi          = {10.1007/3-540-54458-5\_66},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Groger91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Heinrich91,
  author       = {Stefan Heinrich},
  editor       = {Lothar Budach},
  title        = {Efficiency of Monte Carlo Algorithms in Numerical Analysis},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {33--44},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_47},
  doi          = {10.1007/3-540-54458-5\_47},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Heinrich91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/HofmeisterHK91,
  author       = {Thomas Hofmeister and
                  Walter Hohberg and
                  Susanne K{\"{o}}hling},
  editor       = {Lothar Budach},
  title        = {Some Notes on Threshold Circuits, and Multiplication in Depth 4},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {230--239},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_67},
  doi          = {10.1007/3-540-54458-5\_67},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/HofmeisterHK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Hromkovic91,
  author       = {Juraj Hromkovic},
  editor       = {Lothar Budach},
  title        = {Nonlinear Lower Bounds on the Number of Processors of Circuits with
                  Sublinear Separators (Extended Abstract)},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {240--247},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_68},
  doi          = {10.1007/3-540-54458-5\_68},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Hromkovic91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/IbarraT91,
  author       = {Oscar H. Ibarra and
                  Nicholas Q. Tr{\^{a}}n},
  editor       = {Lothar Budach},
  title        = {On Space-bounded Synchronized Alternating Turing Machines},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {248--257},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_69},
  doi          = {10.1007/3-540-54458-5\_69},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/IbarraT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/JouxS91,
  author       = {Antoine Joux and
                  Jacques Stern},
  editor       = {Lothar Budach},
  title        = {Improving the Critical Density of the Lagarias-Odlyzko Attack Against
                  Subset Sum Problems},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {258--264},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_70},
  doi          = {10.1007/3-540-54458-5\_70},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/JouxS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Jukna91,
  author       = {Stasys Jukna},
  editor       = {Lothar Budach},
  title        = {Optimal versus Stable in Boolean Formulae},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {265--274},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_71},
  doi          = {10.1007/3-540-54458-5\_71},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Jukna91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kaib91,
  author       = {Michael Kaib},
  editor       = {Lothar Budach},
  title        = {The Gau{\ss} Lattice Basis Reduction Algorithm Succeeds With Any Norm},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {275--286},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_72},
  doi          = {10.1007/3-540-54458-5\_72},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Kaib91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kaneps91,
  author       = {Janis Kaneps},
  editor       = {Lothar Budach},
  title        = {Regularity of One-Letter Languages Acceptable by 2-Way Finite Probabilistic
                  Automata},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {287--296},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_73},
  doi          = {10.1007/3-540-54458-5\_73},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Kaneps91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Karpinski91,
  author       = {Marek Karpinski},
  editor       = {Lothar Budach},
  title        = {Approximation Algorithms for Counting Problems in Finite Fields},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {45--46},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_48},
  doi          = {10.1007/3-540-54458-5\_48},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Karpinski91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KnijenburgK91,
  author       = {Peter M. W. Knijnenburg and
                  Joost N. Kok},
  editor       = {Lothar Budach},
  title        = {On the Semantics of Atomized Statements - the Parallel-Choice Option
                  (Extended Abstract)},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {297--306},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_74},
  doi          = {10.1007/3-540-54458-5\_74},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/KnijenburgK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KounalisR91,
  author       = {Emmanuel Kounalis and
                  Micha{\"{e}}l Rusinowitch},
  editor       = {Lothar Budach},
  title        = {Automatic Proof Methods for Algebraic Specifications},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {307--317},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_75},
  doi          = {10.1007/3-540-54458-5\_75},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/KounalisR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KratschH91,
  author       = {Dieter Kratsch and
                  Lane A. Hemachandra},
  editor       = {Lothar Budach},
  title        = {On the Complexity of Graph Reconstruction},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {318--328},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_76},
  doi          = {10.1007/3-540-54458-5\_76},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/KratschH91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LevcopoulosP91,
  author       = {Christos Levcopoulos and
                  Ola Petersson},
  editor       = {Lothar Budach},
  title        = {An Optimal Adaptive In-place Sorting Algorithm},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {329--338},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_77},
  doi          = {10.1007/3-540-54458-5\_77},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/LevcopoulosP91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/LouchardKS91,
  author       = {Guy Louchard and
                  Claire Kenyon and
                  Ren{\'{e}} Schott},
  editor       = {Lothar Budach},
  title        = {Data Structures Maxima},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {339--349},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_78},
  doi          = {10.1007/3-540-54458-5\_78},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/LouchardKS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Martinez91,
  author       = {Conrado Martinez},
  editor       = {Lothar Budach},
  title        = {Average-case Analysis of Equality of Binary Trees Under the {BST}
                  Probability Model},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {350--359},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_79},
  doi          = {10.1007/3-540-54458-5\_79},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Martinez91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Neraud91,
  author       = {Jean N{\'{e}}raud},
  editor       = {Lothar Budach},
  title        = {On the Subsets of Rank Two in a Free Monoid: {A} Fast Decision Algorithm
                  (Extended Abstract)},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {360--369},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_80},
  doi          = {10.1007/3-540-54458-5\_80},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/Neraud91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/PlandowskiRS91,
  author       = {Wojciech Plandowski and
                  Wojciech Rytter and
                  Tomasz Szymacha},
  editor       = {Lothar Budach},
  title        = {Exact Analysis of Three Tree Contraction Algorithms},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {370--379},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_81},
  doi          = {10.1007/3-540-54458-5\_81},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/PlandowskiRS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Razborov91,
  author       = {Alexander A. Razborov},
  editor       = {Lothar Budach},
  title        = {Lower Bounds for Deterministic and Nondeterministic Branching Programs},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {47--60},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_49},
  doi          = {10.1007/3-540-54458-5\_49},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Razborov91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Reischuk91,
  author       = {R{\"{u}}diger Reischuk},
  editor       = {Lothar Budach},
  title        = {Graph Theoretical Methods for the Design of Parallel Algorithms},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {61--67},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_50},
  doi          = {10.1007/3-540-54458-5\_50},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Reischuk91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/SalomaaY91,
  author       = {Kai Salomaa and
                  Sheng Yu},
  editor       = {Lothar Budach},
  title        = {Degrees of Nondeterminism for Pushdown Automata},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {380--389},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_82},
  doi          = {10.1007/3-540-54458-5\_82},
  timestamp    = {Thu, 19 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/SalomaaY91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/SchnorrE91,
  author       = {Claus{-}Peter Schnorr and
                  M. Euchner},
  editor       = {Lothar Budach},
  title        = {Lattice Basis Reduction: Improved Practical Algorithms and Solving
                  Subset Sum Problems},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {68--85},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_51},
  doi          = {10.1007/3-540-54458-5\_51},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/SchnorrE91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/SchroderSV91,
  author       = {Heiko Schr{\"{o}}der and
                  Ondrej S{\'{y}}kora and
                  Imrich Vrto},
  editor       = {Lothar Budach},
  title        = {Optimal Embedding of a Toroidal Array in a Linear Array},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {390--394},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_83},
  doi          = {10.1007/3-540-54458-5\_83},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/SchroderSV91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Traub91,
  author       = {Joseph F. Traub},
  editor       = {Lothar Budach},
  title        = {Information-Based Complexity: Recent Results and Open Problems},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {86--88},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_52},
  doi          = {10.1007/3-540-54458-5\_52},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Traub91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Turan91,
  author       = {Gy{\"{o}}rgy Tur{\'{a}}n},
  editor       = {Lothar Budach},
  title        = {A Survey of Some Aspects of Computational Learning Theory (Extended
                  Abstract)},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_53},
  doi          = {10.1007/3-540-54458-5\_53},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Turan91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Uhlig91,
  author       = {Dietmar Uhlig},
  editor       = {Lothar Budach},
  title        = {Boolean Functions with a Large Number of Subfunctions and Small Complexity
                  and Depth},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {395--404},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_84},
  doi          = {10.1007/3-540-54458-5\_84},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Uhlig91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ValivetiOZ91,
  author       = {Radhakrishna S. Valiveti and
                  B. John Oommen and
                  Jack R. Zgierski},
  editor       = {Lothar Budach},
  title        = {Adaptive Linear List Reorganization for a System Processing Set Queries},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {405--414},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_85},
  doi          = {10.1007/3-540-54458-5\_85},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/ValivetiOZ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Wanke91,
  author       = {Egon Wanke},
  editor       = {Lothar Budach},
  title        = {On the Decidability of Integer Subgraph Problems on Context-Free Graph
                  Languages},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {415--426},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_86},
  doi          = {10.1007/3-540-54458-5\_86},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Wanke91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Yao91,
  author       = {Andrew Chi{-}Chih Yao},
  editor       = {Lothar Budach},
  title        = {Recent Progress in Circuit and Communication Complexity (Abstract)},
  booktitle    = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  pages        = {104},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5\_54},
  doi          = {10.1007/3-540-54458-5\_54},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Yao91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/1991,
  editor       = {Lothar Budach},
  title        = {Fundamentals of Computation Theory, 8th International Symposium, {FCT}
                  '91, Gosen, Germany, September 9-13, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {529},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54458-5},
  doi          = {10.1007/3-540-54458-5},
  isbn         = {3-540-54458-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/1991.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}