Mathematical Foundations of Computer Science 1997
Subtitle: 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science)
Contributors: Igor Privara (Editor); Peter Ruzicka (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 19, 1997
Language: eng
Format: Paperback
Number of pages: 519
ISBN-13: 9783540634379
Subjects: Mathematical theory of computation; Programming languages; Machine Theory; Computers - General Information; Computer Science; Programming - Software Development; Computers / Computer Science; algorithms; complexity theory; formal languages; grammars; programming theory
First sentence: Game semantics models types as two-person games, and programs as strategies for playing such games.
Description: This book constitutes the refereed proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science, MFCS '97, held in Bratislava, Slovakia, in August 1997. The 40 revised full papers presented were carefully selected from a total of 94 submissions. Also included are nine invited papers and two abstracts of invited talks. The papers cover the whole range of theoretical computer science including programming theory, complexity theory, mathematical logic, rewriting, grammars, formal languages, theory of algorithms, computational graph theory, etc.