Abstract is missing.
- Model Checking: Theory into PracticeE. Allen Emerson. 1-10 [doi]
- An Algebra for XML QueryMary F. Fernández, Jérôme Siméon, Philip Wadler. 11-45 [doi]
- Irregularities of Distribution, Derandomization, and Complexity TheoryBernard Chazelle. 46-54 [doi]
- Rewriting Logic as a Metalogical FrameworkDavid A. Basin, Manuel Clavel, José Meseguer. 55-80 [doi]
- Frequency Assignment in Mobile Phone SystemsMartin Grötschel. 81-86 [doi]
- Data Provenance: Some Basic IssuesPeter Buneman, Sanjeev Khanna, Wang Chiew Tan. 87-93 [doi]
- Fast On-Line/Off-Line Algorithms for Optimal Reinforcement of a Network and Its Connections with Principal PartitionSachin B. Patkar, H. Narayanan. 94-105 [doi]
- On-Line Edge-Coloring with a Fixed Number of ColorsLene M. Favrholdt, Morten N. Nielsen. 106-116 [doi]
- On Approximability of the Independent/Connected Edge Dominating Set ProblemsToshihiro Fujito. 117-126 [doi]
- Model Checking CTL Properties of Pushdown SystemsIgor Walukiewicz. 127-138 [doi]
- A Decidable Dense Branching-Time Temporal LogicSalvatore La Torre, Margherita Napoli. 139-150 [doi]
- Fair Equivalence RelationsOrna Kupferman, Nir Piterman, Moshe Y. Vardi. 151-163 [doi]
- Arithmetic Circuits and Polynomial Replacement SystemsPierre McKenzie, Heribert Vollmer, Klaus W. Wagner. 164-175 [doi]
- Depth-3 Arithmetic Circuits for S::n:::::2:::(X) and Extensions of the Graham-Pollack TheoremJaikumar Radhakrishnan, Pranab Sen, Sundar Vishwanathan. 176-187 [doi]
- The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is InfiniteOlivier Ly. 188-200 [doi]
- Combining Semantics with Non-standard Interpreter HierarchiesSergei M. Abramov, Robert Glück. 201-213 [doi]
- Using Modes to Ensure Subject Reduction for Typed Logic Programs with SubtypingJan-Georg Smaus, François Fages, Pierre Deransart. 214-226 [doi]
- Dynamically Ordered Probabilistic Choice Logic ProgrammingMarina De Vos, Dirk Vermeir. 227-239 [doi]
- Coordinatized Kernels and Catalytic Reductions: An Improved FPT Algorithm for Max Leaf Spanning Tree and Other ProblemsMichael R. Fellows, Catherine McCartin, Frances A. Rosamond, Ulrike Stege. 240-251 [doi]
- Planar Graph Blocking for External SearchingSurender Baswana, Sandeep Sen. 252-263 [doi]
- A Complete Fragment of Higher-Order Duration µ-CalculusDimitar P. Guelev. 264-276 [doi]
- A Complete Axiomatisation for Timed AutomataHuimin Lin, Wang Yi. 277-289 [doi]
- Text Sparsification via Local MaximaPierluigi Crescenzi, Alberto Del Lungo, Roberto Grossi, Elena Lodi, Linda Pagli, Gianluca Rossi. 290-301 [doi]
- Approximate Swapped MatchingAmihood Amir, Moshe Lewenstein, Ely Porat. 302-311 [doi]
- A Semantic Theory for Heterogeneous System DesignRance Cleaveland, Gerald Lüttgen. 312-324 [doi]
- Formal Verification of the Ricart-Agrawala AlgorithmEkaterina Sedletsky, Amir Pnueli, Mordechai Ben-Ari. 325-335 [doi]
- On Distribution-Specific Learning with Membership Queries versus Pseudorandom GenerationJohannes Köbler, Wolfgang Lindner. 336-347 [doi]
- Theta::2:::::p:::-Completeness: A Classical Approach for New ResultsHolger Spakowski, Jörg Vogel. 348-360 [doi]
- Is the Standard Proof System for SAT P-Optimal?Johannes Köbler, Jochen Messner. 361-372 [doi]
- A General Framework for Types in Graph RewritingBarbara König. 373-384 [doi]
- The Ground Congruence for Chi CalculusYuxi Fu, Zhenrong Yang. 385-396 [doi]
- Inheritance in the Join CalculusCédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy. 397-408 [doi]
- Approximation Algorithms for Bandwidth and Storage Allocation Problems under Real Time ConstraintsStefano Leonardi, Alberto Marchetti-Spaccamela, Andrea Vitaletti. 409-420 [doi]
- Dynamic Spectrum Allocation: The Impotency of Duration NotificationBala Kalyanasundaram, Kirk Pruhs. 421-428 [doi]
- The Fine Structure of Game Lambda ModelsPietro Di Gianantonio, Gianluca Franco. 429-441 [doi]
- Strong Normalization of Second Order Symmetric lambda-CalculusMichel Parigot. 442-453 [doi]
- Scheduling to Minimize the Average Completion Time of Dedicated TasksFoto N. Afrati, Evripidis Bampis, Aleksei V. Fishkin, Klaus Jansen, Claire Kenyon. 454-464 [doi]
- Hunting for Functionally Analogous GenesMichael T. Hallett, Jens Lagergren. 465-476 [doi]
- Keeping Track of the Latest Gossip in Shared Memory SystemsBharat Adsul, Aranyak Mehta, Milind A. Sohoni. 477-488 [doi]
- Concurrent Knowledge and Logical Clock AbstractionsAjay D. Kshemkalyani. 489-502 [doi]
- Decidable Hierarchies of Starfree LanguagesChristian Glaßer, Heinz Schmitz. 503-515 [doi]
- Prefix Languages of Church-Rosser LanguagesJens R. Woinowski. 516-530 [doi]