Overview
- Editors:
- Igor Prívara
Search author on:PubMed Google Scholar
- Peter Ružička
Search author on:PubMed Google Scholar
Part of the book series:Lecture Notes in Computer Science (LNCS, volume 1295)
Included in the following conference series:
Conference proceedings info: MFCS 1997.
6413Accesses
1Citation
This is a preview of subscription content,log in via an institution to check access.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Keywords
Table of contents (51 papers)
Front Matter
A tile-based coordination view of asynchronous π-calculus
- GianLuigi Ferrari, Ugo Montanari
Pages 52-70Computational limitations of Stochastic Turing machines and Arthur-Merlin games with small space bounds
- Maciej Liśkiewicz, Rüdiger Reischuk
Pages 91-107The expressiveness of Datalog cicuits (DAC)
- Foto Afrati, Irène Guessarian, Michel de Rougemont
Pages 117-128The complexity of policy evaluation for finite-horizon partially-observable Markov decision processes
- Martin Mundhenk, Judy Goldsmith, Eric Allender
Pages 129-138A category of transition systems and its relations with orthomodular posets
- Luca Bernardinello, Lucia Pomello
Pages 139-148Accepting Zeno words without making time stand still
- Béatrice Bérard, Claudine Picaronny
Pages 149-158Complexity theoretical results on partitioned (nondeterministic) binary decision diagrams
- Beate Bollig, Ingo Wegener
Pages 159-168Specifying computations using hyper transition systems
- Marcello M. Bonsangue, Joost N. Kok
Pages 169-178A shift-invariant metric onSzz inducing a non-trivial topology
- G. Cattaneo, E. Formenti, L. Margara, J. Mazoyer
Pages 179-188
Other volumes
Mathematical Foundations of Computer Science 1997
Accessibility Information
Bibliographic Information
Book Title:Mathematical Foundations of Computer Science 1997
Book Subtitle:22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings
Editors:Igor Prívara, Peter Ružička
Series Title:Lecture Notes in Computer Science
DOI:https://doi.org/10.1007/BFb0029943
Publisher:Springer Berlin, Heidelberg
eBook Packages:Springer Book Archive
Copyright Information:Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN:978-3-540-63437-9Published: 13 August 1997
eBook ISBN:978-3-540-69547-9Published: 01 December 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number:1
Number of Pages:X, 526
Topics:Theory of Computation,Programming Languages, Compilers, Interpreters,Software Engineering,Discrete Mathematics in Computer Science