24. MFCS 1999:
Szklarska Poreba,
Poland
Miroslaw Kutylowski, Leszek Pacholski, Tomasz Wierzbicki (Eds.):
Mathematical Foundations of Computer Science 1999, 24th International Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999, Proceedings.
Lecture Notes in Computer Science 1672 Springer 1999, ISBN 3-540-66408-4 BibTeX
@proceedings{DBLP:conf/mfcs/1999,
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10,
1999, Proceedings},
booktitle = {MFCS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1672},
year = {1999},
isbn = {3-540-66408-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Computing Over Reals
Compression Techniques
Foundations of Programming
Complexity and Algorithms
Model Checking
Distributed Computing
Functional Programming
Automata
Algorithms and Complexity
Security
Logic
Counting Problems
- Anna Gambin:
On Approximating the Number of Bases of Exchange Preserving Matroids.
332-342 BibTeX
Processes and Bisimulation
Graph Algorithms
Complexity
Types:
Theory and Applications
- Mads Tofte:
A Type Discipline for Solving Year 2000 Problems in COBOL Programs.
442 BibTeX
- Jerzy Tiuryn:
Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types.
443-453 BibTeX
Copyright © Sat May 16 23:29:34 2009
by Michael Ley (ley@uni-trier.de)
