ISBN: 3540414134
TITLE: FST TCS 2000: Foundations of Software Technology and Theoretical Science
AUTHOR: Kapoor, Sanjiv; Prasad, Sanjiva (Eds.)
TOC:

Invited Presentations
Model Checking: Theory into Practice 1
E. Allen Emerson
An Algebra for XML Query 11
Mary Fernandez, Jerome Simeon, and Philip Wadler
Irregularities of Distribution, Derandomization, and Complexity Theory 46
Bernard Chazelle
Rewriting Logic as a Metalogical Framework 55
David Basin, Manuel Clavel, and Jos Meseguer
Frequency Assignment in Mobile Phone Systems 81
Martin Grtschel
Data Provenance: Some Basic Issues 87
Peter Buneman, Sanjeev Khanna, and Wang-Chiew Tan
Contributions
Fast On-Line/Off-Line Algorithms for Optimal Reinforcement of a Network and Its Connections with Principal Partition 94
Sachin B. Patkar and H. Narayanan
On-Line Edge-Coloring with a Fixed Number of Colors 106
Lene Monrad Favrholdt and Morten Nyhave Nielsen
On Approximability of the Independent/Connected Edge Dominating Set Problems 117
Toshihiro Fujito
Model Checking CTL Properties of Pushdown Systems 127
Igor Walukiewicz
A Decidable Dense Branching-Time Temporal Logic 139
Salvatore La Torre and Margherita Napoli
Fair Equivalence Relations 151
Orna Kupferman, Nir Piterman, and Moshe Y. Vardi
Arithmetic Circuits and Polynomial Replacement Systems 164
Pierre McKenzie, Heribert Vollmer, and Klaus W. Wagner
Depth-3 Arithmetic Circuits for S^2_n(X) and Extensions of the Graham-Pollack Theorem 176
Jaikumar Radhakrishnan, Pranab Sen, and Sundar Vishwanathan
The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite 188
Olivier Ly
Combining Semantics with Non-standard Interpreter Hierarchies 201
Sergei Abramov and Robert Glck
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping 214
JanGeorg Smaus, Franois Fages, and Pierre Deransart
Dynamically Ordered Probabilistic Choice Logic Programming 227
Marina De Vos and Dirk Vermeir
Coordinatized Kernels and Catalytic Reductions: An Improved FPT Algorithm for Max Leaf Spanning Tree and Other Problems 240
Michael R. Fellows, Catherine McCartin, Frances A. Rosamond, and Ulrike Stege
Planar Graph Blocking for External Searching 252
Surender Baswana and Sandeep Sen
A Complete Fragment of Higher-Order Duration mu-Calculus 264
Dimitar P. Guelev
A Complete Axiomatisation for Timed Automata 277
Huimin Lin and Wang Yi
Text Sparsification via Local Maxima 290
Pilu Crescenzi, Alberto Del Lungo, Roberto Grossi, Elena Lodi, Linda Pagli, and Gianluca Rossi
Approximate Swapped Matching 302
Amihood Amir, Moshe Lewenstein, and Ely Porat
A Semantic Theory for Heterogeneous System Design 312
Rance Cleaveland and Gerald Lttgen
Formal Verification of the Ricart-Agrawala Algorithm 325
Ekaterina Sedletsky, Amir Pnueli, and Mordechai Ben-Ari
On Distribution-Specific Learning with Membership Queries versus Pseudorandom Generation 336
Johannes Kbler and Wolfgang Lindner
THETA^p_2-Completeness: A Classical Approach for New Results 348
Holger Spakowski and Jrg Vogel
Is the Standard Proof System for SAT P-Optimal? 361
Johannes Kbler and Jochen Messner
A General Framework for Types in Graph Rewriting 373
Barbara Knig
The Ground Congruence for Chi Calculus 385
Yuxi Fu and Zhenrong Yang
Inheritance in the Join Calculus 397
Cdric Fournet, Cosimo Laneve, Luc Maranget, and Didier Rmy
Approximation Algorithms for Bandwidth and Storage Allocation Problems under Real Time Constraints 409
Stefano Leonardi, Alberto Marchetti-Spaccamela, and Andrea Vitaletti
Dynamic Spectrum Allocation: The Impotency of Duration Notification 421
Bala Kalyanasundaram and Kirk Pruhs
The Fine Structure of Game Lambda Models 429
Pietro Di Gianantonio and Gianluca Franco
Strong Normalization of Second Order Symmetric lambda-Calculus 442
Michel Parigot
Scheduling to Minimize the Average Completion Time of Dedicated Tasks 454
Foto Afrati, Evripidis Bampis, Aleksei V. Fishkin, Klaus Jansen, and Claire Kenyon
Hunting for Functionally Analogous Genes 465
Michael T. Hallett and Jens Lagergren
Keeping Track of the Latest Gossip in Shared Memory Systems 477
Bharat Adsul, Aranyak Mehta, and Milind Sohoni
Concurrent Knowledge and Logical Clock Abstractions 489
Ajay D. Kshemkalyani
Decidable Hierarchies of Starfree Languages 503
Christian Glaer and Heinz Schmitz
Prefix Languages of Church-Rosser Languages 516
Jens R. Woinowski
Author Index 531
END
