Search dblp for Publications

• > Home > Search

@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}
}