Skip to content
cs-conference-ranking.org

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

Best Theory of Computation conferences

Papers per year

1973101 peak2026

Most published authors

MFCS papers

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

YearTitleAuthors
1973On the Problem of Finding Natural Computational Complexity Measures.Juris Hartmanis
1973Some Logical Problems of Automated Research.Petr Hjek
1973On the Connectivity of the Periodic Sum of Automata.Jerzy W. Grzymala-Busse
1973Descriptional Complexity of Context-Free Languages.Jozef Gruska
1973Substitution and (Semi-)AFL.Seymour Ginsburg
1973Model Theoretical Methods in the Theory of Automata.Ferenc Gcseg
1973Decision Problems for Multihead Finite Automata.Philippe Flajolet, Jean-Marc Steyaert
1973Towards a Galois Theory of Algorithmic Problems.Erwin Engeler
1973Conditional Metric Completeness of Finite Sets of Automata: A Criterion and an Algorithm (in Russian).A. A. Donis
1973On the Formal Definition of Assembly Languages.B. Dmlki
1973The Process Complexity and the Understanding of Sequences.Robert P. Daley
1973Equivalences of Parallel Courses of Algorithmic Nets and Precedence Flow Diagrams.Karel Culk
1973On Vector Languages.Armin B. Cremers, Otto Mayer
1973Combinatorial Problems III. Degrees of Combinatorial Problems of Computing Machines.John P. Cleave
1973On Changes of Input/Output Coding.Michal Chytil
1973Towards a Formal Definition of the Control in Structured Programs.Luigia Carlucci Aiello, Ugo Montanari
1973On Grammatical Complexity of Context-Free Languages (Extended Abstract).Wilfried Brauer
1973An Algebraic Approach to Programs and Their Computations.Andrzej Blikle
1973Equations of Formal Power Series over Non Commutative Semiring.Alberto Bertoni
1973Towards a Theory of Inductive Inference (in Russian).Ya. M. Barzdin, K. M. Podineks
1973Semiboolean Algebras of Submachines.W. Bartol
1973Top-down Analysis of Programming Languages without Backtrack (in Russian).A. V. Anisimov
3,326–3,347 of 3,347← PreviousNext →

Comparable venues

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