International Symposium on Mathematical Foundations of Computer Science

MFCS

CORE rank

CORE rank (raw)

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.

Year	Title	Authors
1975	A Hierarchy of Regular Sequence Sets.	Klaus W. Wagner
1975	On the Synthesis of Automata with Several Initial States.	Rdiger Valk
1975	On Polynomial Reducibility of Word Problem Under Embedding of Recursively Presented Groups in Finitely Presented Groups.	Mars K. Valiev
1975	An Algebraic Theory of Formal Languages.	Raymond Turner
1975	The Theory of the Modified Post Algebras and Multidimensional Automata Structures.	G. E. Tseytlin
1975	Automate and Categories.	Vera Trnkov
1975	On Representation of Sequential and Parallel Functions.	Mark B. Trakhtenbrot
1975	On Problems Solvable by Successive Trials.	Boris A. Trakhtenbrot
1975	On the Representability of Relations by Deterministic and Nondeterministic Multi-Tape Automata.	Peter H. Starke
1975	On Cardinal Sequential Outer Measures.	Dan A. Simovici
1975	Formal Power Series and Growth Functions of Lindenmayer Systems.	Arto Salomaa
1975	Local Disambiguating Transformation.	Peter Ruzicka
1975	First-Order Reductions of Call-by-Name to Call-by-Value.	Willem P. de Roever
1975	Relational definition of Computer Languages.	Vclav Rajlich
1975	Polynomially Complete Problems in the Logic of Automated Discovery.	Pavel Pudlk
1975	On Correctness and Essentiality of Some Ianov Schemas Equivalence Relations.	Rimma I. Podlovchenko
1975	Greibach Normal Form Complexity.	Alica Pirick-Kelemenov
1975	On Finding All Solutions of the Partitioning Problem.	Jrgen Perl
1975	On Some Problems Concerning Pawlak's Machines.	Miroslav Novotn
1975	Graph Walking Automata.	Peter A. Ng, Pei Hsia, Raymond T. Yeh
1975	On Some Formal Grammars Generating Dependency Trees.	Larisa S. Modina
1975	On Some Lattice-Theoretic Properties of Generable Languages.	Ivan Meznk
1975	Monotone Switching Circuits and Boolean Matrix Product.	Kurt Mehlhorn, Zvi Galil
1975	On the Analysis and Synthesis Problems for Context-Free Expressions.	Otto Mayer
1975	Parallel Recursive Program Schemes.	Antoni W. Mazurkiewicz

3,201–3,225 of 3,347← Previous Next →

Comparable venues

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