default search action
BibTeX records: Lothar Budach
@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} }
@article{DBLP:journals/eik/BudachGGGMMSZZ90, author = {Lothar Budach and Ernst{-}G{\"{u}}nter Giessmann and Hubert Grassmann and Bernd Graw and Christoph Meinel and Burkhard Molzan and Uwe Sch{\"{a}}fer and Steffen Zahn and Peter Zienicke}, title = {{RELACS} - a Recursive Layout Computing System}, journal = {J. Inf. Process. Cybern.}, volume = {26}, number = {5/6}, pages = {315--335}, year = {1990}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BudachGGGMMSZZ90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/MeinelBBZZ90, author = {Christoph Meinel and Lothar Budach and Frank Balfanz and Steffen Zahn and Peter Zienicke}, title = {Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; {I}}, journal = {J. Inf. Process. Cybern.}, volume = {26}, number = {7}, pages = {389--414}, year = {1990}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/MeinelBBZZ90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/MeinelBBZZ90a, author = {Christoph Meinel and Lothar Budach and Frank Balfanz and Steffen Zahn and Peter Zienicke}, title = {Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; {II}}, journal = {J. Inf. Process. Cybern.}, volume = {26}, number = {8/9}, pages = {501--515}, year = {1990}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/MeinelBBZZ90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Budach90, author = {Lothar Budach}, title = {Topological Invariants of Classification Problems}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {1}, pages = {3--26}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90043-H}, doi = {10.1016/0304-3975(90)90043-H}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Budach90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/BudachGGGMMSZ89, author = {Lothar Budach and Ernst{-}G{\"{u}}nter Giessmann and Hubert Grassmann and Bernd Graw and Christoph Meinel and Burkhard Molzan and Uwe Sch{\"{a}}fer and Peter Zienicke}, title = {Recursive {VLSI} design theory and application}, journal = {Bull. {EATCS}}, volume = {37}, pages = {131--150}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/BudachGGGMMSZ89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Budach87, author = {Lothar Budach}, editor = {Lothar Budach and Rais Gatic Bakharajev and Oleg Borisovic Lipanov}, title = {Arsenals and Lower Bounds}, booktitle = {Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {278}, pages = {55--64}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18740-5\_17}, doi = {10.1007/3-540-18740-5\_17}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fct/Budach87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/paa/BudachGGGM87, author = {Lothar Budach and Ernst{-}G{\"{u}}nter Giessmann and Hubert Grassmann and Bernd Graw and Christoph Meinel}, editor = {Andreas Alexander Albrecht and Hermann Jung and Kurt Mehlhorn}, title = {{RELACS} - {A} Recursive Layout Computing System}, booktitle = {Parallel Algorithms and Architectures, International Workshop, Suhl, GDR, May 25-30, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {269}, pages = {86--88}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18099-0\_32}, doi = {10.1007/3-540-18099-0\_32}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/paa/BudachGGGM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fct/1987, editor = {Lothar Budach and Rais Gatic Bakharajev and Oleg Borisovic Lipanov}, title = {Fundamentals of Computation Theory, International Conference FCT'87, Kazan, USSR, June 22-26, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {278}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18740-5}, doi = {10.1007/3-540-18740-5}, isbn = {3-540-18740-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/1987.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/Budach85, author = {Lothar Budach}, title = {A Lower Bound for the Number of Nodes in a Decision Tree}, journal = {J. Inf. Process. Cybern.}, volume = {21}, number = {4/5}, pages = {221--228}, year = {1985}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/Budach85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fct/1985, editor = {Lothar Budach}, title = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September 9-13, 1985}, series = {Lecture Notes in Computer Science}, volume = {199}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/BFb0028784}, doi = {10.1007/BFB0028784}, isbn = {3-540-15689-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/1985.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sct/BudachG84, author = {Lothar Budach and Bernd Graw}, editor = {Andrzej Skowron}, title = {Nonuniform complexity classes, decision graphs and homological properties of posets}, booktitle = {Computation Theory - Fifth Symposium, Zabor{\'{o}}w, Poland, December 3-8, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {208}, pages = {7--13}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-16066-3\_2}, doi = {10.1007/3-540-16066-3\_2}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/sct/BudachG84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BudachK83, author = {Lothar Budach and Hans Kohlhase}, title = {Zur Redundanz von Komposita endlicher Automaten}, journal = {J. Inf. Process. Cybern.}, volume = {19}, number = {3}, pages = {115--130}, year = {1983}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BudachK83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BudachM82, author = {Lothar Budach and Christoph Meinel}, title = {Environments and Automata {I}}, journal = {J. Inf. Process. Cybern.}, volume = {18}, number = {1/2}, pages = {3--40}, year = {1982}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BudachM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BudachM82a, author = {Lothar Budach and Christoph Meinel}, title = {Environment and Automata {II}}, journal = {J. Inf. Process. Cybern.}, volume = {18}, number = {3}, pages = {115--139}, year = {1982}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BudachM82a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BudachW82, author = {Lothar Budach and Stephan Waack}, title = {On the Halting Problem for Automata in Cones}, journal = {J. Inf. Process. Cybern.}, volume = {18}, number = {9}, pages = {489--499}, year = {1982}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BudachW82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/Budach81, author = {Lothar Budach}, editor = {Jozef Gruska and Michal Chytil}, title = {Two Pebbles Don't Suffice}, booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {118}, pages = {578--589}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10856-4\_126}, doi = {10.1007/3-540-10856-4\_126}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/Budach81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/AntelmannBR79, author = {Horst Antelmann and Lothar Budach and Hans{-}Anton Rollik}, title = {On Universal Traps}, journal = {J. Inf. Process. Cybern.}, volume = {15}, number = {3}, pages = {123--131}, year = {1979}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/AntelmannBR79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/AntelmannBR79, author = {Horst Antelmann and Lothar Budach and Hans{-}Anton Rollik}, editor = {Lothar Budach}, title = {Universal traps}, booktitle = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979}, pages = {25--30}, publisher = {Akademie-Verlag, Berlin}, year = {1979}, timestamp = {Mon, 29 Jul 2019 11:58:23 +0200}, biburl = {https://dblp.org/rec/conf/fct/AntelmannBR79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fct/1979, editor = {Lothar Budach}, title = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979}, publisher = {Akademie-Verlag, Berlin}, year = {1979}, timestamp = {Mon, 29 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/1979.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Budach77, author = {Lothar Budach}, editor = {Marek Karpinski}, title = {Environments, Labyrinths and Automata}, booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23, 1977}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {54--64}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08442-8\_70}, doi = {10.1007/3-540-08442-8\_70}, timestamp = {Mon, 02 Sep 2019 13:37:20 +0200}, biburl = {https://dblp.org/rec/conf/fct/Budach77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/Budach75, author = {Lothar Budach}, title = {On the Solution of the Labyrinth Problem for Finite Automata}, journal = {J. Inf. Process. Cybern.}, volume = {11}, number = {10-12}, pages = {661--672}, year = {1975}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/Budach75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/BrunnerBH74, author = {J{\"{u}}rgen Brunner and Lothar Budach and Claude{-}Joachim Hamann}, title = {Zur Redundanz von endlichen Automaten}, journal = {J. Inf. Process. Cybern.}, volume = {10}, number = {5/6}, pages = {301--324}, year = {1974}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/BrunnerBH74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/category/Budach74, author = {Lothar Budach}, editor = {Ernest G. Manes}, title = {Automata in additive categories with applications to stochastic linear automata}, booktitle = {Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {25}, pages = {119--125}, publisher = {Springer}, year = {1974}, url = {https://doi.org/10.1007/3-540-07142-3\_70}, doi = {10.1007/3-540-07142-3\_70}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/category/Budach74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.