**default search action**

# Search dblp for Publications

export results for

**"toc:db/conf/fct/fct81.bht:"**@inproceedings{DBLP:conf/fct/Adamek81, author = {Jir{\'{\i}} Ad{\'{a}}mek}, title = {Observability and Nerode Equivalence in Concrete C5ategories}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {1--15}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/AndrekaN81, author = {Hajnal Andr{\'{e}}ka and Istv{\'{a}}n N{\'{e}}meti}, title = {Some Universal Algebraic and Model Theoretic Results in Computer Science}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {16--23}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/AusielloMP81, author = {Giorgio Ausiello and Alberto Marchetti{-}Spaccamela and Marco Protasi}, title = {Probabilistic Analysis of the Performance of Greedy Strategies over Different Classes of Combinatorial Problems}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {24--33}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Babai81, author = {L{\'{a}}szl{\'{o}} Babai}, title = {Moderately Exponential Bound for Graph Isomorphism}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {34--50}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Bartha81, author = {Mikl{\'{o}}s Bartha}, title = {An Algebraic Defenition of Attributed Transformations}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {51--60}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Beauquier81, author = {Joffroy Beauquier}, title = {A New Operation Between Languages}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {400--409}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Borger81, author = {Egon B{\"{o}}rger}, title = {Logical Description of Computation Processes}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {410--424}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Brandenburg81, author = {Franz{-}Josef Brandenburg}, title = {Analogies of {PAL} and {COPY}}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {61--70}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Buning81, author = {Hans Kleine{ }B{\"{u}}ning}, title = {Classes of Functions over Binary Trees}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {199--204}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Burmeister81, author = {Peter Burmeister}, title = {Quasi-Equational Logic for Partial Algebras}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {71--80}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Csakany81, author = {B. Cs{\'{a}}k{\'{a}}ny}, title = {Homogenity and Completeness}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {81--89}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Daley81, author = {Robert P. Daley}, title = {On the Error Correcting Power of Pluralism in Inductive Inference}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {90--99}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Dassow81, author = {J{\"{u}}rgen Dassow}, title = {Equality Languages and Language Families}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {100--109}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/DemetrovicsK81, author = {J{\'{a}}nos Demetrovics and Gyula O. H. Katona}, title = {Extremal Combinatorial Problems in Relational Data Base}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {110--119}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Ehrich81, author = {Hans{-}Dieter Ehrich}, title = {Specifying Algebraic Data Types by Domain Equations}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {120--129}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Esik81, author = {Zolt{\'{a}}n {\'{E}}sik}, title = {An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {130--136}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/GoralcikGKR81, author = {Pavel Goralcik and A. Goralcikov{\'{a}} and V{\'{a}}clav Koubek and Vojtech R{\"{o}}dl}, title = {Fast Recognition of Rings and Lattices}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {137--145}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Grabowski81, author = {Jan Grabowski}, title = {An Algorithm to Identify Slices, with Applications to Vector Replacement Systems}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {425--432}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/HeideR81, author = {Friedhelm {Meyer auf der Heide} and Hans{-}Anton Rollik}, title = {Random Access Machines and Straight-Line Programs}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {259--264}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Hoffmann81, author = {Frank Hoffmann}, title = {One Pebble Does Not Suffice to Search Plane Labyrinths}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {433--444}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Huwig81, author = {Hagen Huwig}, title = {A Definition of the P=NP-Problem in Categories}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {146--153}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/JanssensR81, author = {Dirk Janssens and Grzegorz Rozenberg}, title = {Generating Graph Languages Using Hypergraph Grammars}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {154--164}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Jaromczyk81, author = {Jerzy W. Jaromczyk}, title = {Lower Bounds for Problems Defined by Polynomial Inequalities}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {165--172}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Kaphengst81, author = {Heinz Kaphengst}, title = {What is Computable for Abstract Data Types?}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {173--181}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Karhumaki81, author = {Juhani Karhum{\"{a}}ki}, title = {On Strongly Cube-Free Omega-Words Generated by Binary Morphisms}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {182--189}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/KleijnR81, author = {H. C. M. Kleijn and Grzegorz Rozenberg}, title = {On the Role of Selectors in Selective Substitution Grammars}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {190--198}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/KorteL81, author = {Bernhard Korte and L{\'{a}}szl{\'{o}} Lov{\'{a}}sz}, title = {Mathematical Structures Underlying Greedy Algorithms}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {205--209}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Kortelainen81, author = {Juha Kortelainen}, title = {Some Properties of Language Families Generated by Commutative Languages}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {210--217}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/KuceraT81, author = {Ludek Kucera and Vera Trnkov{\'{a}}}, title = {Isomorphism Completeness for Some Algebraic Structures}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {218--225}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Leguy81, author = {Bernard Leguy}, title = {Reducing Algebraic Tree Grammars}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {226--233}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Leguy81a, author = {Jeannine Leguy}, title = {Rational Cone and Substitution}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {234--243}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Linna81, author = {Matti Linna}, title = {On the Regularity Problem of SF-Languages Generated by Minimal Linear Grammars}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {244--249}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Meinel81, author = {Christoph Meinel}, title = {About the by Codings of Environments Induced Posets [a\({}_{\mbox{z}}\), {\unicode{139}}=] and [L\({}_{\mbox{z}}\), {\unicode{139}}=]}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {445--452}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Merzenich81, author = {Wolfgang Merzenich}, title = {Co-Algebras as Machines for the Interpretations of Flow Diagrams}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {250--258}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Monien81, author = {Burkhard Monien}, title = {On the {LBA} Problem}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {265--280}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Mostowski81, author = {Andrzej Wlodzimierz Mostowski}, title = {The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {453--466}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Nemeti81, author = {Istv{\'{a}}n N{\'{e}}meti}, title = {Dynamic Algebras of Programs}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {281--290}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Nijholt81, author = {Anton Nijholt}, title = {The Equivalence Problem for {LL-} and LR-Regular Grammars}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {291--300}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Poigne81, author = {Axel Poign{\'{e}}}, title = {Context-Free Languages of Infinite Words As Least Fixpoints}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {301--310}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Proszynski81, author = {Piotr W. Pr{\'{o}}szynski}, title = {Remarks on the Notion of Concurrency Relation in the Case of Systems}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {311--320}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Pultr81, author = {Ales Pultr}, title = {On the Size of Conjunctive Representations of n-ary Relations}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {321--327}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Rozenberg81, author = {Grzegorz Rozenberg}, title = {On Subwords of Formal Languages}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {328--333}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Sain81, author = {Ildik{\'{o}} Sain}, title = {First Order Dynamic Logic with Decidable Proofs and Workable Model Theory}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {334--340}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Seese81, author = {Detlef Seese}, title = {Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {341--349}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Starke81, author = {Peter H. Starke}, title = {Processes in Petri Nets}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {350--359}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Steinby81, author = {Magnus Steinby}, title = {Some Algebraic Aspects of Recognizability and Rationality}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {360--372}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Sudborough81, author = {Ivan Hal Sudborough}, title = {Pebbling and Bandwith}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {373--383}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Turan81, author = {Gy{\"{o}}rgy Tur{\'{a}}n}, title = {On Cellular Graph-Automata and Second-Order Definable Graph-Properties}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {384--393}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Vinarek81, author = {Jir{\'{\i}} Vin{\'{a}}rek}, title = {Extensions of Symmetric Hom-Functors to the Kleisli Category}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {394--399}, publisher = {Springer}, year = {1981} }

@inproceedings{DBLP:conf/fct/Waack81, author = {Stephan Waack}, title = {Tape Complexity of Word Problems}, booktitle = {{FCT}}, series = {Lecture Notes in Computer Science}, volume = {117}, pages = {467--471}, publisher = {Springer}, year = {1981} }

@proceedings{DBLP:conf/fct/1981, editor = {Ferenc G{\'{e}}cseg}, title = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981}, series = {Lecture Notes in Computer Science}, volume = {117}, publisher = {Springer}, year = {1981} }

**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.