Skip to content

International Symposium on Mathematical Foundations of Computer Science

MFCS

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation

Papers indexed

3,347

1973–2026

Papers per year

1973101 peak2026

MFCS papers

3,347 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1981Key-Equivalence of Functional Dependency Statements Systems.Jaroslav Pokorn
1981Negative Results on the Size of Deterministic Right Parsers.Jan Pittl
1981Parsing Strategies: A Concise Survey (Preliminary Report).Anton Nijholt
1981Representations of Graphs by Means of Products and Their Complexity.Jaroslav Nesetril
1981Time and Space Bounded Complexity Classes and Bandwidth Constrained Problems (A Survey).Burkhard Monien, Ivan Hal Sudborough
1981Probabilistic Combinatorial Optimization.Karl J. Lieberherr
1981The Art of Dynamizing.Jan van Leeuwen, Mark H. Overmars
1981Maximum Flow in Planar Networks.Ludek Kucera
1981Weighted Multidimensional B-trees Used as Nearly Optimal Dynamic Dictionaries.Hans-Peter Kriegel, Vijay K. Vaishnavi
1981On the Constructive Description of Graph Languages Accepted by Finite Automata.Hans-Jrg Kreowski, Grzegorz Rozenberg
1981The Maximum k-Flow in a Network.Vclav Koubek, Antonn Rha
1981A Survey on Oracle Techniques.Bernhard Korte, Rainer Schrader
1981Codings of Nonnegative Integers.Ivan Korec
1981A Bin Packing Algorithm with Complexity O(n log n) and Performance 1 in the Stochastic Limit.Walter Kndel
1981A General Framework for Comparing Sequential and Parallel Rewriting.H. C. M. Kleijn, Grzegorz Rozenberg
1981Grammatical Levels of the Position Restricted Grammars.Alica Kelemenov
1981Constructive Category Theory (No. 1).Akira Kanda
1981Relationships between Probabilistic and Deterministic Tape Complexity.H. Jung
1981A Survey of Some Recent Results on Computational Complexity in Weak Theories of Arithmetic.Deborah Joseph, Paul Young
1981How to Find Invariants for Coloured Petri Nets.Kurt Jensen
1981An Extension of Rabin's Complete Proof Concept.Jerzy W. Jaromczyk
1981Another Hierarchy Defined by Multihead Finite Automata.Ladislav Janiga
1981Closure Properties of the Family of Languages Recognized by One-Way Two-Head Deterministic Finite State Automata.Juraj Hromkovic
1981Partial Interpretations of Program Schemata.J. Horejs
1981Time-Processor Trade-offs for Universal Parallel Computers.Friedhelm Meyer auf der Heide
2,8512,875 of 3,347← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.