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
1979	An Algebraic Approach to Concurrence.	Jzef Winkowski
1979	The Complexity of Lexicographic Sorting and Searching.	Juraj Wiedermann
1979	A Crossing Measure for 2-Tape Turing Machines.	Gerd Wechsung
1979	Characterization of Rational and Algebraic Power Series.	Wolfgang Wechler
1979	Bounded Recursion and Complexity Classes.	Klaus W. Wagner
1979	On Axiomatization of Deterministic Propositional Dynamic Logic.	Mars K. Valiev
1979	Schematics of Structural Parallel Programming and its Applications.	G. E. Tseytlin
1979	L-Fuzzy Functorial Automata.	Vera Trnkov
1979	On Relaxation Rules in Algorithmic Logic.	Boris A. Trakhtenbrot
1979	Fixed Points in the Power-Set Algebra of Infinite Trees (Abstract).	Jerzy Tiuryn
1979	Dyck Language D	Miron Tegze
1979	On the Languages of Bounded Petri Nets.	Peter H. Starke
1979	Computational Complexity of String and Graph Identification.	A. O. Slisenko
1979	Power from Power Series.	Arto Salomaa
1979	Validity Test for Floyd's Operator-Precedence Parsing Algorithms.	Peter Ruzicka
1979	Axioms or Algorithms.	Vaughan R. Pratt
1979	On the Generative Capacity of Some Classes of Grammars with Regulated Rewriting.	Gheorghe Paun
1979	A Uniform Approach to Balanced Binary and Multiway Trees.	Thomas Ottmann, Derick Wood
1979	Ch(k) Grammars: A Characterization of LL(k) Languages.	Anton Nijholt, Eljas Soisalon-Soininen
1979	On the Propositional Algorithmic Logic.	Grazyna Mirkowska
1979	LCF: A Way of Doing Proofs with a Machine.	Robin Milner
1979	Some Remarks on Boolean Sums.	Kurt Mehlhorn
1979	Searching, Sorting and Information Theory.	Kurt Mehlhorn
1979	On Some Recent Developments in Cryptography and Their Applications to Computer Science.	Hermann A. Maurer
1979	On the Sets of Minimal Indices of Partial Recursive Functions.	G. B. Marandzjan

2,951–2,975 of 3,347← Previous Next →

Comparable venues

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