Theoretical Computer Science, Volume 315

Volume 315, Number 1, 5 May 2004

• Michael W. Mislove:
  Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. 1-2
  
• Stefano Berardi, Chantal Berline:
  Building continuous webbed models for system F. 3-34
  
• Andrej Bauer, Lars Birkedal, Dana S. Scott:
  Equilogical spaces. 35-59
  
• Cristiano Calcagno:
  Two-level languages for program optimization. 61-81
  
• Andrea Schalk, Valeria de Paiva:
  Poset-valued sets or how to build models for linear logics. 83-107
  
• Michal Konecný:
  Real functions incrementally computable by finite automata. 109-133
  
• Michel P. Schellekens:
  The correspondence between partial metrics and semivaluations. 135-149
  
• Zhe Yang:
  Encoding types in ML-like languages. 151-190
  
• Zoltán Füredi, Robert P. Kurshan:
  Minimal length test vectors for multiple-fault detection. 191-208
  
• Gavin Lowe:
  Semantic models for information flow. 209-256
  
• David J. Pym, Peter W. O'Hearn, Hongseok Yang:
  Possible worlds and resources: the semantics of BI. 257-305
  

Volume 315, Number 2-3, 6 May 2004

• Ioannis Z. Emiris, Bernard Mourrain, Victor Y. Pan:
  Preface: Algebraic and Numerical Algorithms. 307-308
  
• Zheng-Jian Bai, Raymond H. Chan:
  Inverse eigenproblem for centrosymmetric and centroskew matrices and their approximation. 309-318
  
• Dario Bini, Luca Gemignani:
  Bernstein-Bezoutian matrices. 319-333
  
• A. Bompadre, Guillermo Matera, Rosita Wachenchauzer, Ariel Waissbein:
  Polynomial equation solving by lifting procedures for ramified fibers. 335-369
  
• Dima Burago, Dima Grigoriev, Anatol Slissenko:
  Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon. 371-404
  
• Ernie Croot, Ren-Cang Li, Hui June Zhu:
  The abc conjecture and correctly rounded reciprocal square roots. 405-417
  
• Joachim von zur Gathen, Michael Nöcker:
  Fast arithmetic with general Gauß periods. 419-452
  
• Georg Heinig, Karla Rost:
  Split algorithms for skewsymmetric Toeplitz matrices with arbitrary rank profile. 453-468
  
• Igor Kaporin:
  The aggregation and cancellation techniques as a practical tool for faster matrix multiplication. 469-510
  
• Fu-Rong Lin, Wai-Ki Ching, Michael K. Ng:
  Fast inversion of triangular Toeplitz matrices. 511-523
  
• Gregorio Malajovich, Maurice Rojas:
  High probability analysis of the condition number of sparse polynomial systems. 525-555
  
• D. Noutsos, Stefano Serra Capizzano, P. Vassalos:
  Matrix algebra preconditioners for multilevel Toeplitz systems do not insure optimal convergence rate. 557-579
  
• Victor Y. Pan, Marc Van Barel, Xinmao Wang, Gianni Codevico:
  Iterative inversion of structured matrices. 581-592
  
• Luis Miguel Pardo, Jorge San Martín:
  Deformation techniques to solve generalised Pham systems. 593-625
  
• Sonia Pérez-Díaz, Juana Sendra, J. Rafael Sendra:
  Parametrization of approximate algebraic curves by lines. 627-650
  
• Andrew J. Sommese, Jan Verschelde, Charles W. Wampler:
  Numerical factorization of multivariate complex polynomials. 651-669