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
1998About Synchronization Languages.Isabelle Ryl, Yves Roos, Mireille Clerbout
1998On Some Recognizable Picture-Languages.Klaus Reinhardt
1998Expressive Completeness of Temporal Logic of Action.Alexander Moshe Rabinovich
1998Satisfiability - Algorithms and Logic.Pavel Pudlk
1998Blockwise Variable Orderings for Shared BDDs.Harry Preu, Anand Srivastav
1998Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model.Alessandra Di Pierro, Herbert Wiklicky
1998The Head Hierarchy for Oblivious Finite Automata with Polynomial Advice Collapses.Holger Petersen
1998Cellular Associative Symbolic Processing for Pattern Recognition.Christos Orovas, James Austin
1998Intelligent Languages: A Preliminary Syntactic Theory.Cyrus F. Nourani
1998Flow Logic for Imperative Objects.Flemming Nielson, Hanne Riis Nielson
1998Reasoning About the Past.Mogens Nielsen
1998Tarskian Set Constraints Are in NEXPTIME.Pawel Mielniczuk, Leszek Pacholski
1998Computationally-Sound Checkers.Silvio Micali
1998From Algorithms to Working Programs: On the Use of Program Checking in LEDA.Kurt Mehlhorn, Stefan Nher
1998Additive Cellular Automata over ZJacques Mazoyer, Ivan Rapaport
1998One Quantifier Will Do in Existential Monadic Second-Order Logic over Pictures.Oliver Matz
1998New Topics in Colonies Theory.Carlos Martn-Vide, Gheorghe Paun
1998Cooperation in Contextual Grammars.Carlos Martn-Vide, Victor Mitrana
1998Characterization of Sensitive Linear Cellular Automata with Respect to the Counting Distance.Giovanni Manzini
1998Cooperating Distributed Hyperedge Replacement Grammars.Sebastian Maneth
1998On the Role of Time and Space in Neural Computation.Wolfgang Maass
1998D0L-Systems and Surface Automorphisms.Luis-Miguel Lopez, Philippe Narbel
1998Iterated Length-Preserving Rational Transductions.Michel Latteux, David Simplot, Alain Terlutte
1998Locally Explicit Construction of Rdl's Asymptotically Good Packings.Nikolai N. Kuzjurin
1998Gauian Elimination and a Characterization of Algebraic Power Series.Werner Kuich
2,1012,125 of 3,347← PreviousNext →

Comparable venues

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