Mathematical Foundations of Computer Science 1995: 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings
Juraj Wiedermann, International Symposium on Mathematical Foundations of Computer Science (20 : 1995 : Praha)
Springer Science & Business Media, Aug 16, 1995 - Computers - 588 pages
This book presents the proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science, MFCS'95, held in Prague, Czech Republic in August/September 1995.
The book contains eight invited papers and two abstracts of invited talks by outstanding scientists as well as 44 revised full research papers selected from a total of 104 submissions. All relevant aspects of theoretical computer science are addressed, particularly the mathematical foundations; the papers are organized in sections on structural complexity, algorithms, complexity theory, graphs in models of computation, lower bounds, formal languages, unification, rewriting and type theory, distributed computation, concurrency, semantics, model checking, and formal calculi.
What people are saying - Write a review
Other editions - View all
accepting action algorithm applied approximate assignment assume automata automaton binary bits bounded called cells classes communication complexity computation Computer Science connected consider constant construction contains corresponding counting defined definition denote deterministic distribution edges elements equal equations equivalent example exists expression extended finite formula function given gives grammar graph Hence holds implies infinite input labeled language least Lemma length linear logic lower bounds means measure mesh messages natural nodes normal Note notion object observe obtained operator optimal parallel partial path performed polynomial positive possible probability problem processes processor proof properties Proposition prove random recursive reduction relation represented requires respect routing rules satisfying sequence simulation solution space steps string structure symbols Theorem theory transition tree Turing machine variables