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
1975On the Comparison of Notions of Approximation.Giorgio Ausiello, Marco Protasi
1975Languages Over Free Groups.A. V. Anisimov
1975Automata and Categories: Finiteness Contra Minimality.Jir Admek
1974Continuous Simple Z-Machines, Z-Computable Functions and Sets of Functions of n Real Variables.Wojciech Zakowski
1974Concurrent Programs.Jzef Winkowski
1974The Axiomatization Problem of a Theory of Linear Languages.Gerd Wechsung
1974R-Fuzzy Automata with a Time-Variant Structure.Wolfgang Wechler
1974Finite Automata Acceptation of Infinite Sequences.Klaus W. Wagner, Ludwig Staiger
1974The Algebraic Approach to the Theory of Computing Systems.Jerzy Tiuryn
1974Simulation.Andrzej Skowron
1974Procedures, Formal Computations and Models.Andrzej Salwicki
1974Call-by-Value versus Call-by-Name: A proof-Theoretic Comparison.Willem P. de Roever
1974omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures.Helena Rasiowa
1974Classification of Programs of a SPC.Zbigniew W. Ras
1974Complexity and Normal Forms of Contex-Free Languages.Alica Pirick
1974Defining Languages by Mazurkiewicz Algorithms.W. A. Owsianiecka
1974The Semantics of Semantic Equations.Peter D. Mosses
1974On Configurations in Cellular Automata.Peter Mikuleck
1974Mathematical Foundations of Motivation Languages and Synthesis Maps.Pierangelo Miglioli
1974Substring Languages.Jan Maluszynski
1974Combinatorial Aspects of Information Storage and Retrieval.Witold Lipski Jr.
1974Mathematical Model of Programs with Dynamic Allocation of Variables.Jacek Leszczylowski
1974On Equivalence of Programs.Jacek Leszczylowski
1974Set-Theoretic Properties of Programs in Stored Program Computers.W. Kwasowiec
1974On the Equivalence of Planar Grammars and Parallel Picture Processing Algorithms.Zenon Kulpa
3,251–3,275 of 3,347← PreviousNext →

Comparable venues

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