| Computing over reals |
| On-Line Addition in Real Base / Christiane Frougny |
| Query languages for real number databases based on descriptive complex-ity over <$>{\op R}<$> / Klaus Meer |
| The Arithmetical Hierarchy of Real Numbers / Xizhong Zheng ; Klaus Weihrauch |
| Compression techniques |
| Invited lecture: The Burrows-Wheeler Transform: Theory and Practice / Giovanni Manzini |
| Efficiency of Fast Parallel Pattern Searching in Highly Compressed Texts / Leszek G&acedil;sieniec ; Alan Gibbons ; Wojciech Rytter |
| Foundations of programming |
| Computing and Comparing Semantics of Programs in Four-valued Logics / Yann Loyer ; Nicolas Spyratos ; Daniel Stamate |
| Foundations of Modular SOS / Peter D. Mosses |
| Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces / Anca Muscholl ; Doron Peled |
| Complexity and algorithms |
| On the Complexity of Recognizing the Hilbert Basis of a Linear Diophan-tine System / Amaud Durand ; Miki Hermann ; Laurent Juban |
| The complexity of the extended GCD problem / George Havas ; Jean-Pierre Seifert |
| Complexity Results for Confluence Problems / Markus Lohrey |
| Model checking |
| Is your Model Checker on Time? / Luca Aceto ; François Laroussinie |
| Clausal Resolution for CTL☆ / Alexander Bolotov ; Clare Dixon ; Michael Fisher |
| Model Checking and Higher-Order Recursion / Hardi Hungar |
| Distributed computing |
| Multiparty Communication Complexity: Very Hard Functions / Ján Ma&nbreve;uch |
| Invited lecture: New Perspectives in Distributed Computing / Maurice Herlihy ; Sergio Rajsbaum |
| Functional programming |
| An Improved Disjunctive Strictness Analysis for Lazy Functional Languages / Grzegorz Grudziński |
| Unique Fixed Point Induction for McCarthy's Amb / Søren B. Lassen ; Andrew Moran |
| Automata |
| On Some Topological Properties of Linear Cellular Automata / Luciano Margara |
| Real-time language recognition by one-way and two-way cellular automata / Katsuhiko Nakamura |
| Average state complexity of operations on unary automata / Cyril Nicaud |
| Fooling Rebound Automata / Holger Petersen |
| Algorithms and complexity |
| The Complexity of Minimizing FBDDs / Detlef Sieling |
| Efficient Strongly Universal and Optimally Universal Hashing / Philipp Woelfel |
| Lower and Upper Bounds for the Problem of Page Replication in Ring Networks / Włodzimierz Głazek |
| Security |
| Invited lecture: Language-Based Security / Dexter Kozen |
| Logic |
| An Algebraic Approach to Knowledge Representation / Jānis Cīrulis |
| On the structure of the monadic logic of the binary tree / D. Janin ; G. Lenzi |
| A New Space Bound for the Modal Logics K4, KD4 and S4 / Linh Anh Nguyen |
| Counting problems |
| On Approximating the Number of Bases of Exchange Preserving Matroids / Anna Gambin |
| Processes and bisimulation |
| The Semantic Foundations of a Compositional Proof Method for Syn- chronously Communicating Processes / F.S. de Boer ; W.-P. de Roever ; U. Hannemann |
| On Plain and Hereditary History-Preserving Bisimulation / Sibylle B. Fröschle ; Thomas T. Hildebrandt |
| Approximating Weak Bisimulation on Basic Process Algebras / Jitka Stříbrná |
| Graph algorithms |
| Edge Coloring of Bipartite Graphs with Constraints / Ioannis Caragiannis ; Christos Kaklamanis ; Pino Persiano |
| An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover / Henning Fernau ; Rolf Niedermeier |
| On Minimum Edge Ranking Spanning Trees / Kazuhisa Makino ; Yushi Uno ; Toshihide Ibaraki |
| Complexity |
| Football Elimination is Hard to Decide Under the 3-Point-Rule / Thorsten Bernholt ; Alexander Gülich ; Thomas Hofrneister ; Niels Schmitt |
| Generalized Regular Counting Classes / Ulrich Hertrampf |
| A Foundation of Programming a Multi-Tape Quantum Turing Machine / Tomoyuki Yamakami |
| Types: theory and applications |
| Invited lecture: A Type Discipline for Solving Year 2000 Problems inCOBOL programs / Mads Tofte |
| Type Reconstruction for Functional Programs with Subtyping over a Lat-tice of Atomic Types / Jerzy Tiuryn |
| Author Index |
| Computing over reals |
| On-Line Addition in Real Base / Christiane Frougny |
| Query languages for real number databases based on descriptive complex-ity over <$>{\op R}<$> / Klaus Meer |
図書
