ask others

3. FCT 1981: Szeged, Hungary

> Home > Conferences and Workshops > FCT

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/1981
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/1981
Ferenc Gécseg:
Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981 International FCT-Conference, Szeged, Hungary, August 24-28, 1981. Lecture Notes in Computer Science 117, Springer 1981, ISBN 3-540-10854-8
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Adamek81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Adamek81
Jirí Adámek:
Observability and Nerode Equivalence in Concrete C5ategories. 1-15
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/AndrekaN81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/AndrekaN81
Hajnal Andréka, István Németi:
Some Universal Algebraic and Model Theoretic Results in Computer Science. 16-23
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/AusielloMP81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/AusielloMP81
Giorgio Ausiello, Alberto Marchetti-Spaccamela, Marco Protasi:
Probabilistic Analysis of the Performance of Greedy Strategies over Different Classes of Combinatorial Problems. 24-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Babai81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Babai81
László Babai:
Moderately Exponential Bound for Graph Isomorphism. 34-50
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Bartha81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Bartha81
Miklós Bartha:
An Algebraic Defenition of Attributed Transformations. 51-60
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Brandenburg81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Brandenburg81
Franz-Josef Brandenburg:
Analogies of PAL and COPY. 61-70
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Burmeister81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Burmeister81
Peter Burmeister:
Quasi-Equational Logic for Partial Algebras. 71-80
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Csakany81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Csakany81
B. Csákány:
Homogenity and Completeness. 81-89
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Daley81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Daley81
Robert P. Daley:
On the Error Correcting Power of Pluralism in Inductive Inference. 90-99
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Dassow81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Dassow81
Jürgen Dassow:
Equality Languages and Language Families. 100-109
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/DemetrovicsK81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/DemetrovicsK81
János Demetrovics, Gyula O. H. Katona:
Extremal Combinatorial Problems in Relational Data Base. 110-119
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Ehrich81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Ehrich81
Hans-Dieter Ehrich:
Specifying Algebraic Data Types by Domain Equations. 120-129
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Esik81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Esik81
Zoltán Ésik:
An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration. 130-136
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/GoralcikGKR81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/GoralcikGKR81
Pavel Goralcik, A. Goralciková, Václav Koubek, Vojtech Rödl:
Fast Recognition of Rings and Lattices. 137-145
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Huwig81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Huwig81
Hagen Huwig:
A Definition of the P=NP-Problem in Categories. 146-153
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/JanssensR81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/JanssensR81
Dirk Janssens, Grzegorz Rozenberg:
Generating Graph Languages Using Hypergraph Grammars. 154-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Jaromczyk81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Jaromczyk81
Jerzy W. Jaromczyk:
Lower Bounds for Problems Defined by Polynomial Inequalities. 165-172
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Kaphengst81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Kaphengst81
Heinz Kaphengst:
What is Computable for Abstract Data Types? 173-181
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Karhumaki81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Karhumaki81
Juhani Karhumäki:
On Strongly Cube-Free Omega-Words Generated by Binary Morphisms. 182-189
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/KleijnR81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/KleijnR81
H. C. M. Kleijn, Grzegorz Rozenberg:
On the Role of Selectors in Selective Substitution Grammars. 190-198
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Buning81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Buning81
Hans Kleine Büning:
Classes of Functions over Binary Trees. 199-204
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/fct/KorteL81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/KorteL81
Bernhard Korte, László Lovász:
Mathematical Structures Underlying Greedy Algorithms. 205-209
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Kortelainen81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Kortelainen81
Juha Kortelainen:
Some Properties of Language Families Generated by Commutative Languages. 210-217
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/KuceraT81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/KuceraT81
Ludek Kucera, Vera Trnková:
Isomorphism Completeness for Some Algebraic Structures. 218-225
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Leguy81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Leguy81
Bernard Leguy:
Reducing Algebraic Tree Grammars. 226-233
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Leguy81a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Leguy81a
Jeannine Leguy:
Rational Cone and Substitution. 234-243
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Linna81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Linna81
Matti Linna:
On the Regularity Problem of SF-Languages Generated by Minimal Linear Grammars. 244-249
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Merzenich81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Merzenich81
Wolfgang Merzenich:
Co-Algebras as Machines for the Interpretations of Flow Diagrams. 250-258
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/HeideR81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/HeideR81
Friedhelm Meyer auf der Heide, Hans-Anton Rollik:
Random Access Machines and Straight-Line Programs. 259-264
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Monien81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Monien81
Burkhard Monien:
On the LBA Problem. 265-280
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Nemeti81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Nemeti81
István Németi:
Dynamic Algebras of Programs. 281-290
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Nijholt81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Nijholt81
Anton Nijholt:
The Equivalence Problem for LL- and LR-Regular Grammars. 291-300
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Poigne81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Poigne81
Axel Poigné:
Context-Free Languages of Infinite Words As Least Fixpoints. 301-310
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Proszynski81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Proszynski81
Piotr W. Prószynski:
Remarks on the Notion of Concurrency Relation in the Case of Systems. 311-320
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Pultr81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Pultr81
Ales Pultr:
On the Size of Conjunctive Representations of n-ary Relations. 321-327
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Rozenberg81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Rozenberg81
Grzegorz Rozenberg:
On Subwords of Formal Languages. 328-333
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Sain81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Sain81
Ildikó Sain:
First Order Dynamic Logic with Decidable Proofs and Workable Model Theory. 334-340
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Seese81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Seese81
Detlef Seese:
Elimination of Second-Order Quantifiers for Well-Founded Trees in Stationary Logic and Finitely Determinate Structures. 341-349
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Starke81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Starke81
Peter H. Starke:
Processes in Petri Nets. 350-359
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Steinby81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Steinby81
Magnus Steinby:
Some Algebraic Aspects of Recognizability and Rationality. 360-372
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Sudborough81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Sudborough81
Ivan Hal Sudborough:
Pebbling and Bandwith. 373-383
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Turan81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Turan81
György Turán:
On Cellular Graph-Automata and Second-Order Definable Graph-Properties. 384-393
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Vinarek81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Vinarek81
Jirí Vinárek:
Extensions of Symmetric Hom-Functors to the Kleisli Category. 394-399

Appendix

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Beauquier81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Beauquier81
Joffroy Beauquier:
A New Operation Between Languages. 400-409
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Borger81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Borger81
Egon Börger:
Logical Description of Computation Processes. 410-424
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Grabowski81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Grabowski81
Jan Grabowski:
An Algorithm to Identify Slices, with Applications to Vector Replacement Systems. 425-432
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Hoffmann81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Hoffmann81
Frank Hoffmann:
One Pebble Does Not Suffice to Search Plane Labyrinths. 433-444
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Meinel81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Meinel81
Christoph Meinel:
About the by Codings of Environments Induced Posets [a_z, <=] and [L_z, <=]. 445-452
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Mostowski81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Mostowski81
Andrzej Wlodzimierz Mostowski:
The Complexity of Automata and Subtheories of Monadic Second Order Arithmetics. 453-466
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/Waack81
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/Waack81
Stephan Waack:
Tape Complexity of Word Problems. 467-471

maintained by

, founded at