| Towards Axiomatic Basis of Inductive Inference | p. 1 |
| Approximation Algorithms for Fractional Covering and Packing Problems, and Applications | p. 14 |
| Challenges of Commutation (An Advertisement) | p. 15 |
| Approximating Bounded Degree Instances of NP-Hard Problems | p. 24 |
| Universal Algebra and Computer Science | p. 35 |
| Quantum Algorithms | p. 45 |
| A Discrete Approximation and Communication Complexity Approach to the Superposition Problem | p. 47 |
| On Computational Power of Quantum Branching Programs | p. 59 |
| Efficient Computation of Singular Moduli with Application in Cryptography | p. 71 |
| Ambainis-Freivalds' Algorithm for Measure-Once Automata | p. 83 |
| Are There Essentially Incomplete Knowledge Representational Systems? | p. 94 |
| Best Increments for the Average Case of Shellsort | p. 106 |
| Approximating Minimum Cocolourings | p. 118 |
| Curved Edge Routing | p. 126 |
| Time/Space Efficient Compressed Pattern Matching | p. 138 |
| Modelling Change with the Aid of Knowledge and Time | p. 150 |
| If P [is not equal to] NP then Some Strongly Noninvertible Functions Are Invertible | p. 162 |
| Prediction-Preserving Reducibility with Membership Queries on Formal Languages | p. 172 |
| Dense Families and Key Functions of Database Relation Instances | p. 184 |
| On the Complexity of Decidable Cases of Commutation Problem for Languages | p. 193 |
| Cones, Semi-AFPs, and AFPs of Algebraic Power Series | p. 204 |
| New Small Universal Circular Post Machine | p. 217 |
| Divisibility Monoids: Presentation, Word Problem, and Rational Languages | p. 227 |
| Concurrency in Timed Automata | p. 240 |
| How Powerful Are Infinite Time Machines? | p. 252 |
| Equivalence Problem of Composite Class Diagrams | p. 264 |
| Differential Approximation Results for the Traveling Salesman Problem with Distances 1 and 2 | p. 275 |
| On the Category of Event Structures with Dense Time | p. 287 |
| Closure of Polynomial Time Partial Information Classes under Polynomial Time Reductions | p. 299 |
| Monte-Carlo Polynomial versus Linear Time - The Truth-Table Case | p. 311 |
| Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies | p. 323 |
| Polynomial Time Algorithms for Finding Unordered Tree Patterns with Internal Variables | p. 335 |
| Piecewise and Local Threshold Testability of DFA | p. 347 |
| Compositional Homomorphisms of Relational Structures (Modeled as Multialgebras) | p. 359 |
| Representation of Autonomous Automata | p. 372 |
| Quantum Reversibility and a New Model of Quantum Automaton | p. 376 |
| Space-Efficient 1.5-Way Quantum Turing Machine | p. 380 |
| A Combinatorial Aggregation Algorithm for Stationary Distribution of a Large Markov Chain | p. 384 |
| A Primitive for Proving the Security of Every Bit and about Universal Hash Functions and Hard Core Bits | p. 388 |
| Pythagorean Triples in Unification Theory of Nilpotent Rings | p. 392 |
| Two-States Bilinear Intrinsically Universal Cellular Automata | p. 396 |
| Linear Time Recognizer for Subsets of ZZ[superscript 2] | p. 400 |
| Fuzzy Sets and Algorithms of Distributed Task Allocation for Cooperative Agents | p. 404 |
| On Recursively Enumerable Subsets of N and Rees Matrix Semigroups over (Z[subscript 3]; + ) | p. 408 |
| Quantum Real - Time Turing Machine | p. 412 |
| Mathematical Models and Optimal Algorithms of Dynamic Data Structure Control | p. 416 |
| Linear Automata and Recognizable Subsets in Free Semirings | p. 420 |
| On Logical Method for Counting Dedekind Numbers | p. 424 |
| A General Method for Graph Isomorphism | p. 428 |
| Designing PTASs for MIN-SUM Scheduling Problems (Short Version) | p. 432 |
| On Robust Algorithms for the Maximum Weight Stable Set Problem | p. 445 |
| Multicasting in Optical Networks | p. 459 |
| Structured Randomized Rounding and Coloring | p. 461 |
| Optimal Online Flow Time with Resource Augmentation | p. 472 |
| New Results for Path Problems in Generalized Stars, Complete Graphs, and Brick Wall Graphs | p. 483 |
| On Minimizing Average Weighted Completion Time: A PTAS for Scheduling General Multiprocessor Tasks | p. 495 |
| Approximation Algorithms for Time-Dependent Orienteering | p. 508 |
| On Complexity of Colouring Mixed Hypertrees | p. 516 |
| Combining Arithmetic and Geometric Rounding Techniques for Knapsack Problems | p. 525 |
| The Complexity of Maximum Matroid-Greedoid Intersection | p. 535 |
| Author Index | p. 541 |
| Table of Contents provided by Blackwell. All Rights Reserved. |