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
1975A Contribution to Error Recovery.Jan Maluszynski
1975Proving Program Properties, Symbolic Evaluation and Logical Procedural Semantics.Giorgio Levi, Franco Sirovich
1975Formalization of Algorithmic Reasoning.Fred Krger
1975Parsing as a Subtask of Compiling.Jaroslav Krl, Jir Demner
1975Automata and Categories - Input Processes.Vclav Koubek, Jan Reiterman
1975Decision Algorithms for Havel's Branching Automata.Marek Karpinski
1975On Sets of Complex-Programmed Numbers.Max I. Kanovic
1975The Continuous Algebra of Monadic Languages.Klaus Indermark
1975The Approximation Problem in Computational Statistics.Toms Havrnek
1975Nondterministically Recognizable Sets of Languages.Ivan M. Havel
1975On Models of Protection in Operating Systems.Michael A. Harrison
1975On Logics of Discovery.Petr Hjek
1975On the Set of All Automata with the Same Monoid of Endomorphisms.Jerzy W. Grzymala-Busse
1975Conniver Programs by Logical Point of View.Giuseppina C. Gini, Maria L. Gini
1975Extended Simple Regular Expressions.Hartmann J. Genrich
1975Isomorphic Representation of Automata.Ferenc Gcseg
1975Minimal Gdel Numbers and Their Identification in the Limit.R. V. Freivald
1975Control Structures in Single Block Programs.Venelin K. Evtimov
1975On Closure Properties of Context-Free Derivation Complexity Classes.Alexander Ja. Dikovsky
1975On Complexity of Nondeterministic Turing Machines Computations.Michal Chytil
1975on the Largest Full Sub-AFL of the Full AFL of Context-Free Languages.Luc Boasson
1975Ten Years of Speedup.Peter van Emde Boas
1975Systems of Open Paths in Petri Nets.Eike Best, Hans Albrecht Schmid
1975Non-Linear Speed-Up Theorem for Two Register Minsky Machines.M. Benesov, Ivan Korec
1975Construction of Complete Sample System for Correctness Testing.Janis Barzdin, Janis Bicevskis, Audris Kalnins
3,2263,250 of 3,347← PreviousNext →

Comparable venues

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