28. MFCS 2003:
Bratislava, Slovak Republic Branislav Rovan , Peter Vojtás (Eds.):
Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings.
Lecture Notes in Computer Science 2747 Springer 2003, ISBN 3-540-40671-9 Invited Talks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Wolfgang Thomas :
Constructing Infinite Graphs with a Decidable MSO-Theory.
113-124
export record as
dblp key:
Ingo Wegener :
Towards a Theory of Randomized Search Heuristics.
125-141
Contributed Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Klaus Ambos-Spies :
Problems with Cannot Be Reduced to Any Proper Subproblems.
162-168
export record as
dblp key:
conf/mfcs/AnantharamanNR03 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hubie Chen :
Arithmetic Constant-Depth Circuit Complexity Classes.
328-337
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Víctor Dalmau ,
Daniel K. Ford :
Generalized Satisfability with Limited Occurrences per Variable: A Study through Delta-Matroid Parity.
358-367
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Leah Epstein :
Two Dimensional Packing: The Power of Rotation.
398-407
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Gregor Gramlich :
Probabilistic and Nondeterministic Unary Automata.
460-469
export record as
dblp key:
Petr Hlinený :
On Matroid Properties Definable in the MSO Logic.
470-479
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Slawomir Lasota :
A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.
521-530
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bas Luttik :
A Unique Decomposition Theorem for Ordered Monoids with Applications in Process Theory.
562-571
export record as
dblp key:
export record as
dblp key:
Klaus Meer :
On the Complexity of Some Problems in Interval Arithmetic.
582-591
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Steffen Reith :
On the Complexity of Some Equivalence Problems for Propositional Calculi.
632-641
export record as
dblp key:
export record as
dblp key:
Marcin Rychlik :
On Probabilistic Quantified Satisfability Games.
652-661
export record as
dblp key:
Saeed Salehi :
A Completeness Property of Wilke's Tree Algebras.
662-670
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
