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
1974	Tow Down versus Bottom Up Syntax Analysis Revised.	Jaroslav Krl
1974	On Some Approximation Problems of Continuous Computation.	Beata Konikowska
1974	A Lattice-Theoretical Approach to Problem-Solving.	Jozef Kelemen
1974	Stretching by Probabilistic Tree Automata and Santos Grammars.	Marek Karpinski
1974	Structured Programmability of Iterative Algorithms.	Jacek Irlik
1974	Algebraic Models I.	Hans-Jrgen Hoehnke
1974	Finite Branching Automata: Automata Theory Motivated by Problem Solving.	Ivan M. Havel
1974	On the Periodic Sum and Extensions of Finite Automata.	Jerzy W. Grzymala-Busse
1974	Factorizations, Congruences, and the Decomposition of Automata and Systems.	Joseph A. Goguen, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1974	Some Properties of Limit Recursive Functions.	Bernhard G. Goetze, Reinhard Klette
1974	Functions Computable in the Limit by Probabilistic Machines.	R. V. Freivald
1974	A Family of Algebraic Systems Related to the Theory of Equations on Free Monoids.	Max Fontet
1974	Bases of Paths in Correctness Proofs.	Venelin K. Evtimov
1974	Towards an Understanding of Complex Processes.	Piotr Dembinski
1974	An Approach to Correctness Proofs of Semicoroutines.	Ole-Johan Dahl
1974	Ultralinear Expressions.	J. P. Crestin
1974	Models for Analysis of Races in Sequential Networks.	Janusz A. Brzozowski, Michael Yoeli
1974	Proving Programs by Sets of Computations.	Andrzej Blikle
1974	On the Quasi-Controllability of Automata.	L. Beyga
1974	Mathematical Methods of the Theory of Stochastic Automata.	Alberto Bertoni
1974	Sequential Functions and Generalized Moore and Mealy Automata.	Jir Becvr
1974	Modular Approach to the Logical Theory of Programs.	Lech Banachowski
1973	On Families of Languages Defined by Time-Bounded Random Access Machines.	Ivan Hal Sudborough, A. Zalcberg
1973	Turing Machine Recognition.	Pavel Strnad
1973	A Note on Improving Input Strings for Paging Machines.	Hans-Georg Stork

3,276–3,300 of 3,347← Previous Next →

Comparable venues

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