Branislav Rovan

Peter Vojtas

This book constitutes the refereed proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 2003, held in Bratislava, Slovakia in August 2003. The 55 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.

28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings

Mathematical Foundations of Computer Science 2003

Hannu Jaakkola

Yasushi Kiyoki

Takehiro Tokuda

Naofumi Yoshida

With the growth in our reliance on information systems and computer science information modeling and knowledge bases have become a focus for academic attention and research. The amount and complexity of information, the number of levels of abstraction and the size of databases and knowledge bases all continue to increase, and new challenges and problems arise every day.This book is part of the series Information Modelling and Knowledge Bases, which concentrates on a variety of themes such as the design and specification of information systems, software engineering and knowledge and process management.

Peter Vojtas

About

Books

Join the club