Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/fct/AltL79,
  author       = {Helmut Alt and
                  Jan van Leeuwen},
  editor       = {Lothar Budach},
  title        = {The complexity of complex division (extended abstract)},
  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        = {13--17},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 11:58:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/AltL79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/AndrekaNS79,
  author       = {Hajnal Andr{\'{e}}ka and
                  Istv{\'{a}}n N{\'{e}}meti and
                  Ildik{\'{o}} Sain},
  editor       = {Lothar Budach},
  title        = {Henkin-type semantics for program-schemes to turn negative results
                  to positive},
  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        = {18--24},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/AndrekaNS79.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 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/AntelmannBR79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/ArnoldL79,
  author       = {Andr{\'{e}} Arnold and
                  Bernard Leguy},
  editor       = {Lothar Budach},
  title        = {Forets de Greibach et homomorphismes inverses},
  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        = {31--37},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/ArnoldL79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Beauquier79,
  author       = {Joffroy Beauquier},
  editor       = {Lothar Budach},
  title        = {Independence of linear and one-counter generators (extended abstract)},
  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        = {45--51},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Beauquier79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BednarekU79,
  author       = {Alexander R. Bednarek and
                  Stanislaw M. Ulam},
  editor       = {Lothar Budach},
  title        = {An integer-valued metric for patterns},
  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        = {52--57},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Sat, 30 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/BednarekU79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BergstraT79,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn},
  editor       = {Lothar Budach},
  title        = {Implicit definability of algebraic structures by means of program
                  properties},
  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        = {58--63},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BergstraT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/BlattnerR79,
  author       = {Meera Blattner and
                  Jayashree Ramanathan},
  editor       = {Lothar Budach},
  title        = {A grammatical model for the top-down design of structured programs},
  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        = {71--83},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BlattnerR79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Boas79,
  author       = {Peter van Emde Boas},
  editor       = {Lothar Budach},
  title        = {Complexity of linear problems},
  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        = {117--120},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Boas79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Buning79,
  author       = {Hans Kleine{ }B{\"{u}}ning},
  editor       = {Lothar Budach},
  title        = {Generalized vector addition systems with finite exception sets},
  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        = {237--242},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Buning79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/DaneckiK79,
  author       = {Ryszard Danecki and
                  Marek Karpinski},
  editor       = {Lothar Budach},
  title        = {Decidability Results on Plane Automata Searching Mazes},
  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        = {84--91},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/DaneckiK79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/DauchetM79,
  author       = {Max Dauchet and
                  Jocelyne Mongy},
  editor       = {Lothar Budach},
  title        = {Transformations de noyaux reconnaissables},
  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        = {92--98},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/DauchetM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/DemlovaDK79,
  author       = {Marie Demlov{\'{a}} and
                  Jir{\'{\i}} Demel and
                  V{\'{a}}clav Koubek},
  editor       = {Lothar Budach},
  title        = {Several algorithms for finite algebras},
  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        = {99--104},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/DemlovaDK79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Dieu79,
  author       = {Phan Dinh Dieu},
  editor       = {Lothar Budach},
  title        = {Some investigations on finite graphs and their applications},
  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        = {342--348},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Dieu79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Doberkat79,
  author       = {Ernst{-}Erich Doberkat},
  editor       = {Lothar Budach},
  title        = {Stability of linear space automata and semicontinuity of cut point
                  languages},
  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        = {112--116},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Doberkat79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Esik79,
  author       = {Zolt{\'{a}}n {\'{E}}sik},
  editor       = {Lothar Budach},
  title        = {On functional tree transducers},
  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        = {121--127},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Esik79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Grabowski79,
  author       = {Jan Grabowski},
  editor       = {Lothar Budach},
  title        = {Miscellaneous results on vector addition systems},
  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        = {146--152},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Grabowski79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Hemmerling79,
  author       = {Armin Hemmerling},
  editor       = {Lothar Budach},
  title        = {Concentration of multidimensional tape-bounded systems of Turing automata
                  and cellular spaces},
  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        = {167--174},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Hemmerling79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Horvath79,
  author       = {Gyula Horv{\'{a}}th},
  editor       = {Lothar Budach},
  title        = {On machine maps in categories},
  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        = {182--186},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Sun, 16 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fct/Horvath79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Hotz79,
  author       = {G{\"{u}}nter Hotz},
  editor       = {Lothar Budach},
  title        = {Necessary decidable conditions for the word and equivalence problem
                  of formal languages},
  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        = {575--576},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Hotz79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Ito79,
  author       = {Masami Ito},
  editor       = {Lothar Budach},
  title        = {Input sets of strongly connected automata},
  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        = {187--192},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Ito79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Jacob79,
  author       = {G{\'{e}}rard Jacob},
  editor       = {Lothar Budach},
  title        = {Elements de la theorie algebrique des arbres},
  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        = {193--206},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Jacob79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Janicki79,
  author       = {Ryszard Janicki},
  editor       = {Lothar Budach},
  title        = {Analysis of vectors of coroutines by means of components},
  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        = {207--213},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Janicki79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Janiga79,
  author       = {Ladislav Janiga},
  editor       = {Lothar Budach},
  title        = {Real-time computations of two-way multihead finite automata},
  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        = {214--218},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Janiga79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Jantke79,
  author       = {Klaus P. Jantke},
  editor       = {Lothar Budach},
  title        = {Automatic synthesis of programs and inductive inference of functions},
  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        = {219--225},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Jantke79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Kemp79,
  author       = {Rainer Kemp},
  editor       = {Lothar Budach},
  title        = {The average depth of a prefix of the Dycklanguage D{\textdollar}},
  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        = {230--236},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Kemp79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Kozen79,
  author       = {Dexter Kozen},
  editor       = {Lothar Budach},
  title        = {Automata and planar graphs},
  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        = {243--254},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Kozen79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/LatteuxL79,
  author       = {Michel Latteux and
                  Jeannine Leguy},
  editor       = {Lothar Budach},
  title        = {Une propriete de la famille {GRE}},
  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        = {255--261},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/LatteuxL79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Lingas79,
  author       = {Andrzej Lingas},
  editor       = {Lothar Budach},
  title        = {The complexity of distributive computations},
  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        = {262--268},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Lingas79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Lovasz79,
  author       = {L{\'{a}}szl{\'{o}} Lov{\'{a}}sz},
  editor       = {Lothar Budach},
  title        = {On determinants, matchings, and random algorithms},
  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        = {565--574},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Tue, 06 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Lovasz79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Manes79,
  author       = {Ernest G. Manes},
  editor       = {Lothar Budach},
  title        = {Partially-additive semantics: {A} progress report},
  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        = {279--290},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Manes79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Merzenich79,
  author       = {Wolfgang Merzenich},
  editor       = {Lothar Budach},
  title        = {Formal algebraic equations},
  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        = {291--294},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Merzenich79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Muldner79,
  author       = {Tomasz M{\"{u}}ldner},
  editor       = {Lothar Budach},
  title        = {On compilation of parallel programs},
  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        = {295--300},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Muldner79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/ParadisT79,
  author       = {Andre D. Paradis and
                  Gabriel Thierrin},
  editor       = {Lothar Budach},
  title        = {Strong endomorphisms of automata},
  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        = {318--324},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/ParadisT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Paul79,
  author       = {Wolfgang J. Paul},
  editor       = {Lothar Budach},
  title        = {Kolmogorov complexity and lower bounds},
  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        = {325--334},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Paul79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Pettorossi79,
  author       = {Alberto Pettorossi},
  editor       = {Lothar Budach},
  title        = {On the definition of hierarchies of infinite sequential computations},
  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        = {335--341},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Pettorossi79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Podlovchenko79,
  author       = {Rimma I. Podlovchenko},
  editor       = {Lothar Budach},
  title        = {Simulating in research of functional equivalence of programs (on structure
                  and problematics of program schemas' theory)},
  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        = {349--354},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Podlovchenko79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Prusinkiewicz79,
  author       = {Przemyslaw Prusinkiewicz},
  editor       = {Lothar Budach},
  title        = {Recognizing of Chomsky classes of formal languages by two-dimensional
                  iterative arrays},
  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        = {355--361},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Prusinkiewicz79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Rasiowa79,
  author       = {Helena Rasiowa},
  editor       = {Lothar Budach},
  title        = {Logic of complex algorithms},
  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        = {370--381},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Rasiowa79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/RaskovskyT79,
  author       = {Martin R. Raskovsky and
                  Raymond Turner},
  editor       = {Lothar Budach},
  title        = {Compiler generation and denotational semantics},
  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        = {382--386},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/RaskovskyT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Reutenauer79,
  author       = {Christophe Reutenauer},
  editor       = {Lothar Budach},
  title        = {On Polya series in noncommuting variables},
  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        = {391--396},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Reutenauer79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Simon79,
  author       = {Hans Ulrich Simon},
  editor       = {Lothar Budach},
  title        = {Word problems for groups and contextfree recognition},
  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        = {417--422},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Simon79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Starke79,
  author       = {Peter H. Starke},
  editor       = {Lothar Budach},
  title        = {Semilinearity and Petri nets},
  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        = {423--429},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Starke79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/TaniguchiMSK79,
  author       = {Kenichi Taniguchi and
                  Toshio Matsuura and
                  Yuji Sugiyama and
                  Tadao Kasami},
  editor       = {Lothar Budach},
  title        = {On equivalence of safe Petri nets},
  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        = {430--436},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/TaniguchiMSK79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Trnkova79,
  author       = {Vera Trnkov{\'{a}}},
  editor       = {Lothar Budach},
  title        = {Machines and their behaviour in a category},
  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        = {450--461},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Trnkova79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/TrnkovaA79,
  author       = {Vera Trnkov{\'{a}} and
                  Jir{\'{\i}} Ad{\'{a}}mek},
  editor       = {Lothar Budach},
  title        = {Tree-group automata},
  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        = {462--468},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/TrnkovaA79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/TseytlinY79,
  author       = {G. E. Tseytlin and
                  E. L. Yushchenko},
  editor       = {Lothar Budach},
  title        = {Automata theory and structural parallel programming},
  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        = {469--475},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/TseytlinY79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Voelkel79,
  author       = {Lutz Voelkel},
  editor       = {Lothar Budach},
  title        = {Language recognition by linear bounded and copy programs},
  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        = {491--495},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Voelkel79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Walter79,
  author       = {Hermann K.{-}G. Walter},
  editor       = {Lothar Budach},
  title        = {Invariants of grammartransformations},
  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        = {496--507},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Walter79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fct/Wechsung79,
  author       = {Gerd Wechsung},
  editor       = {Lothar Budach},
  title        = {The oscillation complexity and a hierarchy of context-free languages},
  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        = {508--515},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Wechsung79.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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.