- Miki Tanaka:
Abstract Syntax and Variable Binding for Linear Binders. MFCS 2000: 670-679 - Tanguy Urvoy:
Regularity of Congruential Graphs. MFCS 2000: 680-689 - Klaus Wich:
Sublinear Ambiguity. MFCS 2000: 690-698 - Hiroaki Yamamoto:
An Automata-Based Recognition Algorithm for Semi-extended Regular Expressions. MFCS 2000: 699-708 - Shmuel Zaks:
On the Use of Duality and Geometry in Layouts for ATM Networks. MFCS 2000: 114-131 - Mogens Nielsen, Branislav Rovan:
Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings. Lecture Notes in Computer Science 1893, Springer 2000, ISBN 3-540-67901-4 [contents]