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
1980	An O(n² log log log n) Expected Time Algorithm for the all Shortest Distance Problem.	Tadao Takaoka, Alistair Moffat
1980	A Resource Applocation Problem.	Zbigniew Suraj
1980	A Uniform Approach to Applicative and Imperative Features in Programming Languages.	Stefan Sokolowski
1980	Descriptional Complexity of Concurrent Processes (preliminary version).	Giora Slutzki
1980	Deadlocks and Livelocks in Transition Systems.	Joseph Sifakis
1980	Verifying Concurrent System Specification in COSY.	M. W. Shields, Peter E. Lauer
1980	A Logical Approach to the Problem "P=NP?".	Vladimir Yu. Sazonov
1980	Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.	Andrzej Salwicki
1980	Time and Space Bounds in Producing Certain Partial Orders.	Peter Ruzicka
1980	Dynamic Algebras which are not Kripke Structures.	Jan Reiterman, Vera Trnkov
1980	Schemes for Nonsequential Processing Systems.	Wolfgang Reisig
1980	Initially-Restricting Algebraic Theories.	Horst Reichel
1980	Completeness in Classical Logic of Complex Algorithms.	Helena Rasiowa
1980	Asymptotic Complexity of Game-Searching Procedures.	Judea Pearl
1980	New Results on Completeness and Consistency of Abstract Data Types.	Peter Padawitz
1980	Decidability Results on a Query Language for Data Bases with Incomplete Informations.	Hiroakira Ono, Akira Nakamura
1980	Generalized Heapsort.	Seiichi Okoma
1980	Decidability of Reachability in Persistent Vector Replacement Systems.	Horst Mller
1980	On a Subclass of Pseudopolynomial Problems.	Burkhard Monien
1980	Approaches to Concurrency in B-Trees.	Yat-Sang Kwong, Derick Wood
1980	Van Wijngaarden Grammars as a Special Information Processing Model.	Ingbert Kupka
1980	Inducing Patterns of Behaviour in Distributed System Parts.	Norbert Kraft, Horst F. Wedde
1980	A Simple Class of Algorithmic Specifications for Abstract Software Modules.	Herbert Klaeren
1980	Some Theoretical Aspects of Applicative Multiprocessing.	Robert M. Keller
1980	A Method to Compare the Descriptive Power of Different Types of Petri Nets.	Kurt Jensen

2,901–2,925 of 3,347← Previous Next →

Comparable venues

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