11. MFCS 1984: Praha, Czechoslovakia
share record
short URL:
https://dblp.org/rec/conf/mfcs/1984
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 share record
short URL:
https://dblp.org/rec/conf/mfcs/ChistovG84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Gruska84 Jozef Gruska :
Systolic Automata - Power, Characterizations, Nonhomogeneity. 32-49 share record
short URL:
https://dblp.org/rec/conf/mfcs/Hoffmann84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Hotz84 Günter Hotz :
Outline of an Algebraic Language Theory. 64-79 share record
short URL:
https://dblp.org/rec/conf/mfcs/Jantzen84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Longo84 Giuseppe Longo :
Limits, Higher Type Computability and Type-Free Languages. 96-114 share record
short URL:
https://dblp.org/rec/conf/mfcs/Mazurkiewicz84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Perrin84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Preparata84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Semenov84
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 share record
short URL:
https://dblp.org/rec/conf/mfcs/BalcazarBS84 share record
short URL:
https://dblp.org/rec/conf/mfcs/BeauquierT84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Brandenburg84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Broy84 Manfred Broy :
On the Herbrand Kleene Universe for Nondeterministic Computations. 214-222 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/Cerny84 Anton Cerný :
On Generalized Words of Thue-Morse. 232-239 share record
short URL:
https://dblp.org/rec/conf/mfcs/Chrobak84 Marek Chrobak :
Nondeterminism Is Essential for Two-Way Counter Machines. 240-244 share record
short URL:
https://dblp.org/rec/conf/mfcs/CostaS84 share record
short URL:
https://dblp.org/rec/conf/mfcs/DaleyS84 export record
dblp key:
conf/mfcs/EdelsbrunnerW84 share record
short URL:
https://dblp.org/rec/conf/mfcs/EdelsbrunnerW84 share record
short URL:
https://dblp.org/rec/conf/mfcs/EnjalbertM84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Habasinski84 share record
short URL:
https://dblp.org/rec/conf/mfcs/HemmerlingK84 share record
short URL:
https://dblp.org/rec/conf/mfcs/HennessyS84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Hromkovic84 Juraj Hromkovic :
Hierarchy of Reversal and Zerotesting Bounded Multicounter Machines. 312-321 share record
short URL:
https://dblp.org/rec/conf/mfcs/Hromkovic84a share record
short URL:
https://dblp.org/rec/conf/mfcs/IbarraR84 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/Kanovic84 Max I. Kanovic :
A Uniform Independence of Invariant Sentences. 348-354 share record
short URL:
https://dblp.org/rec/conf/mfcs/KarhumakiK84 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 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/Lange84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Lenstra84 Arjen K. Lenstra :
Factoring Multivariate Polynomials over Algebraic Number Fields. 389-396 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/LucaR84 share record
short URL:
https://dblp.org/rec/conf/mfcs/MoravekP84 export record
dblp key:
conf/mfcs/Nepomnjashchaja84 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/Nicola84 Rocco De Nicola :
Models and Operators for Nondeterministic Processes. 433-442 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/OrponenS84 share record
short URL:
https://dblp.org/rec/conf/mfcs/OttmannW84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Poigne84 Axel Poigné :
Another Look at Parameterization Using Algebras with Subsorts. 471-479 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/ReitermanT84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Robson84 J. M. Robson :
Combinatorial Games with Exponential Space Complete Decision Problems. 498-506 share record
short URL:
https://dblp.org/rec/conf/mfcs/Rytter84 Wojciech Rytter :
Fast Recognition of Pushdown Automaton and Context-Free Languages. 507-515 share record
short URL:
https://dblp.org/rec/conf/mfcs/Starke84 share record
short URL:
https://dblp.org/rec/conf/mfcs/Tarlecki84 share record
short URL:
https://dblp.org/rec/conf/mfcs/TiurynU84 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 share record
short URL:
https://dblp.org/rec/conf/mfcs/Wegener84 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
share record
short URL:
https://dblp.org/rec/conf/mfcs/Sipser84 Michael Sipser :
A Topological View of Some Problems in Complexity Theory. 567-572
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