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
1973	Some Results Concerning the Situation Calculus.	Olga Stepnkov, Ivan M. Havel
1973	On the Sequential Relations of Time-Invariant Automata.	Peter H. Starke
1973	Machines with Input and Output.	Andrzej Skowron
1973	On Some Measures on Free Semigroups Induced by Semiautomata.	Dan A. Simovici
1973	Lower Bounds for the Product of Time and Space Requirements of Turing Machine Computations.	Claus-Peter Schnorr
1973	Construction and Properties of Context-Sensitive Grammars and Languages (in Russian).	L. G. Samoilenko
1973	L-Systems: A Device in Biologically Motivated Automata Theory.	Arto Salomaa
1973	Necessary Conditions for Containment of Principal (Semi-)AFL with Bounded Generators.	Branislav Rovan
1973	Operational and Mathematical Semantics for Recursive Polyadic Program Schemata.	Willem P. de Roever
1973	Relational Structures and Dynamics of Certain Discrete Systems.	Vclav Rajlich
1973	Concepts of Net Theory.	C. A. Petri
1973	On Endomorphism Semigroup of Nilpotent Automata.	I. Pek, N. Q. Khang
1973	Mathematical Foundation of Information Retrieval.	Zdzislaw Pawlak
1973	Constructions of Grammars for Formal Languages.	Miroslav Novotn
1973	Operators on Families of Languages.	Maurice Nivat
1973	Tree Transformations via Finite Recursive Transition Machines.	Peter A. Ng, Raymond T. Yeh
1973	On the Complexity of Countable Functions (Abstract).	Miloslav Nekvinda
1973	Computational Optimality of a Dynamic Programming Method.	Jaroslav Morvek
1973	Characterization of Programs and Their Synthesis from a Formalized Theory.	Daniele Marini, Pierangelo Miglioli
1973	An Algebraic Characterization of Stochastic Finite-State Automata and Their Behaviour Functions.	Herbert Kstner
1973	Some Sources of Primitive Constructs in Programming Languages.	Jaroslav Krl
1973	Computational Complexity Based on Expectation of the Time of Computation on Minsky Machines.	Ivan Korec
1973	On Ianov Schemas with One Memory Location.	Klaus Indermark
1973	An Algebraic Model for Parallel Processes.	J. Horejs
1973	Computation and Deduction.	Patrick J. Hayes

3,301–3,325 of 3,347← Previous Next →

Comparable venues

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