ask others

11. MFCS 1984: Praha, Czechoslovakia

> Home > Conferences and Workshops > MFCS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/1984
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/1984
Michal Chytil, Václav Koubek:
Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Lecture Notes in Computer Science 176, Springer 1984, ISBN 3-540-13372-0

Invited Lectures

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Balcazar84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Balcazar84
José L. Balcázar:
Separating, Strongly Separating, and Collapsing Relativized Complexity Classes. 1-16
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ChistovG84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/ChistovG84
Alexander L. Chistov, Dima Grigoriev:
Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields. 17-31
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Gruska84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Gruska84
Jozef Gruska:
Systolic Automata - Power, Characterizations, Nonhomogeneity. 32-49
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Hoffmann84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Hoffmann84
Christoph M. Hoffmann:
A Note on Unique Decipherability. 50-63
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Hotz84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Hotz84
Günter Hotz:
Outline of an Algebraic Language Theory. 64-79
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Jantzen84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Jantzen84
Matthias Jantzen:
Thue Systems and the Church-Rosser Property. 80-95
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Longo84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Longo84
Giuseppe Longo:
Limits, Higher Type Computability and Type-Free Languages. 96-114
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Mazurkiewicz84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Mazurkiewicz84
Antoni W. Mazurkiewicz:
Traces, Histories, Graphs: Instances of a Process Monoid. 115-133
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Perrin84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Perrin84
Dominique Perrin:
Recent Results on Automata and Infinite Words. 134-148
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Preparata84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Preparata84
Franco P. Preparata:
VLSI Algorithms and Architectures. 149-161
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Semenov84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Semenov84
Alexei L. Semenov:
Decidability of Monadic Theories. 162-175

Communications

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Albert84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Albert84
J. Albert:
On the Ehrenfeucht Conjecture on Test Sets and Its Dual Version. 176-184
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BalcazarBS84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BalcazarBS84
José L. Balcázar, Ronald V. Book, Uwe Schöning:
Sparse Oracles, Lowness, and Highness. 185-193
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/BeauquierT84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/BeauquierT84
Joffroy Beauquier, Loÿs Thimonier:
Computability of Probabilistic Parameters for Some Classes of Formal Languages. 194-204
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Brandenburg84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Brandenburg84
Franz-Josef Brandenburg:
A Truely Morphic Characterization of Recursively Enumerable Sets. 205-213
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Broy84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Broy84
Manfred Broy:
On the Herbrand Kleene Universe for Nondeterministic Computations. 214-222
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Burkhard84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Burkhard84
Hans-Dieter Burkhard:
An Investigation of Controls for Concurrent Systems by Abstract Control Languages. 223-231
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Cerny84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Cerny84
Anton Cerný:
On Generalized Words of Thue-Morse. 232-239
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Chrobak84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Chrobak84
Marek Chrobak:
Nondeterminism Is Essential for Two-Way Counter Machines. 240-244
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/CostaS84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/CostaS84
Gerardo Costa, Colin Stirling:
Weak and Strong Fairness in CCS. 245-254
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/DaleyS84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/DaleyS84
Robert P. Daley, Carl H. Smith:
On the Complexity of Inductive Inference (Preliminary Report). 255-264
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/EdelsbrunnerW84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/EdelsbrunnerW84
Herbert Edelsbrunner, Emo Welzl:
Monotone Edge Sequences in Line Arrangements and Applications (Extended Abstract). 265-272
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/EnjalbertM84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/EnjalbertM84
Patrice Enjalbert, Max Michel:
Many-Sorted Temporal Logic for Multi-Processes Systems. 273-281
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Habasinski84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Habasinski84
Zdzislaw Habasinski:
Process Logics: Two Decidability Results. 282-290
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/HemmerlingK84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/HemmerlingK84
Armin Hemmerling, Klaus Kriegel:
On Searching of Special Cases of Mazes and Finite Embedded Graphs. 291-300
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/HennessyS84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/HennessyS84
Matthew Hennessy, Colin Stirling:
The Power of the Future Perfect in Program Logics. 301-311
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Hromkovic84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Hromkovic84
Juraj Hromkovic:
Hierarchy of Reversal and Zerotesting Bounded Multicounter Machines. 312-321
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Hromkovic84a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Hromkovic84a
Juraj Hromkovic:
On the Power of Alternation in Finite Automata. 322-329
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/IbarraR84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/IbarraR84
Oscar H. Ibarra, Louis E. Rosier:
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). 330-338
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Jaromczyk84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Jaromczyk84
Jerzy W. Jaromczyk:
Lower Bounds for Polygon Simplicity Testing and Other Problems. 339-347
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Kanovic84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Kanovic84
Max I. Kanovic:
A Uniform Independence of Invariant Sentences. 348-354
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/KarhumakiK84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/KarhumakiK84
Juhani Karhumäki, H. C. M. Kleijn:
On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages. 355-363
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Kowalczyk84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Kowalczyk84
Wojciech Kowalczyk:
Some Connections between Representability of Complexity Classes and the Power of Formal Systems of Reasoning. 364-369
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Kucera84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Kucera84
Ludek Kucera:
Finding a Maximum Flow in /S, T/-Planar Network in Linear Expected Time. 370-377
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Lange84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Lange84
Klaus-Jörn Lange:
Nondeterministic Logspace Reductions. 378-388
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Lenstra84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Lenstra84
Arjen K. Lenstra:
Factoring Multivariate Polynomials over Algebraic Number Fields. 389-396
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/LongoM84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/LongoM84
Giuseppe Longo, Eugenio Moggi:
Gödel Numberings, Principal Morphisms, Combinatory Algebras: A Category-theoretic Characterization of Functional Completeness. 397-406
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/LucaR84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/LucaR84
Aldo de Luca, Antonio Restivo:
Representations lf Integers and Language Theory. 407-415
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/MoravekP84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/MoravekP84
Jaroslav Morávek, Pavel Pudlák:
New Lower Bound for Polyhedral Membership Problem with an Application to Linear Programming. 416-424
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Nepomnjashchaja84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Nepomnjashchaja84
A. Sh. Nepomnjashchaja:
Decidability of the Equivalence Problem for Synchronous Deterministic Pushdown Automata. 425-432
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Nicola84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Nicola84
Rocco De Nicola:
Models and Operators for Nondeterministic Processes. 433-442
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Oommen84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Oommen84
B. John Oommen:
Algorithms for String Editing which Permit Arbitrarily Complex Editing Constraints. 443-451
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/OrponenS84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/OrponenS84
Pekka Orponen, Uwe Schöning:
The Structure of Polynomial Complexity Cores (Extended Abstract). 452-458
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/OttmannW84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/OttmannW84
Thomas Ottmann, Peter Widmayer:
Solving Visibility Problems by Using Skeleton Structures. 459-470
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Poigne84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Poigne84
Axel Poigné:
Another Look at Parameterization Using Algebras with Subsorts. 471-479
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Pudlak84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Pudlak84
Pavel Pudlák:
A Lower Bound on Complexity of Branching Programs (Extended Abstract). 480-489
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/ReitermanT84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/ReitermanT84
Jan Reiterman, Vera Trnková:
From Dynamic Algebras to Test Algebras. 490-497
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - conf/mfcs/Robson84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Robson84
J. M. Robson:
Combinatorial Games with Exponential Space Complete Decision Problems. 498-506
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Rytter84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Rytter84
Wojciech Rytter:
Fast Recognition of Pushdown Automaton and Context-Free Languages. 507-515
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Starke84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Starke84
Peter H. Starke:
Multiprocessor Systems and Their Concurrency. 516-525
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Tarlecki84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Tarlecki84
Andrzej Tarlecki:
Free Constructions in Algebraic Institutions. 526-534
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/TiurynU84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/TiurynU84
Jerzy Tiuryn, Pawel Urzyczyn:
Remarks on Comparing Expressive Power of Logics of Programs. 535-543
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Wagner84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Wagner84
K. Wagner:
The Complexity of Problems Concerning Graphs with Regularities (Extended Abstract). 544-552
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Wegener84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Wegener84
Ingo Wegener:
On the Complexity of Slice Functions. 553-561
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Zak84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Zak84
Stanislav Zák:
An Exponential Lower Bound for One-Time-Only Branching Programs. 562-566

Invited Lecture

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Sipser84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Sipser84
Michael Sipser:
A Topological View of Some Problems in Complexity Theory. 567-572

Communications

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/mfcs/Danecki84
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/mfcs/Danecki84
Ryszard Danecki:
Propositional Dynamic Logic with Strong Loop Predicate. 573-581

maintained by

, founded at