30. ICALP 2003:
Eindhoven, The Netherlands
Jos C. M. Baeten
, Jan Karel Lenstra
, Joachim Parrow
, Gerhard J. Woeginger
(Eds.): Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings.
Springer 2003 Lecture Notes in Computer Science
: Problems on RNA Secondary Structure Prediction and Design.
: Some Issues Regarding Search, Censorship, and Anonymity in Peer to Peer Networks.
: The SPQR-Tree Data Structure in Graph Drawing.
: Model Checking and Testing Combined.
: An Improved Approximation Algorithm for the Asymmetric TSP with Strengthened Triangle Inequality.
Languages and Programming
: Higher Order Pushdown Automata, the Caucal Hierarchy of Graphs and Parity Games.
: Undecidability of Weak Bisimulation Equivalence for 1-Counter Processes.
: Adaptive Raising Strategies Optimizing Relative Efficiency.
: On the Competitive Ratio for Online Facility Location.
Temporal Logic and Model Checking
Logic and Lambda-Calculus
Data Structures and Algorithms