Abstract is missing.
- Constraint-Based Knowledge BrokersJean-Marc Andreoli, Uwe M. Borghoff, Remo Pareschi. 1-11
- A Strategy-Accurate Parallel Buchberger AlgorithmGiuseppe Attardi, Carlo Traverso. 12-21
- On the Reconstruction of Proofs in Distributed Theorem Proving with Contraction: A Modified Clause-Diffusion MethodMaria Paola Bonacina. 22-33
- Local and Conditional Blackboard Operations in μLog: Semantics, Applicability, and ImplementationKoen De Bosschere, Jean-Marie Jacquet. 34-43
- Parallelising a Functional Program Using a List-Homomorphism SkeletonTore A. Bratvold. 44-53
- Synchronization of Constrained Transition SystemsSrecko Brlek, Antoine Rauzy. 54-62
- A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic ProgramsFrancisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo. 63-73
- The Parallel Computation of f(x) (p-1)/2 mod h(x) using Sugarbush 1.1Tracy Burke-Perline. 74-83
- Multi-Threaded AC Term RewritingReinhard Bündgen, Manfred Göbel, Wolfgang Küchlin. 84-93
- Some Experiments with Parallel Bignum ArithmeticBruce W. Char, Jeremy Johnson 0001, David Saunders 0002, Andrew P. Wack. 94-103
- Distributed Computer Algebra: the Central Control ApproachStéphane Dalmas, Marc Gaëtano, Alain Sausse. 104-113
- Recording, Analyzing and Presenting Distributed Deduction ProcessesJörg Denzinger, Stephan Schulz 0001. 114-123
- Parallelization of Gröbner BasisJean-Charles Faugère. 124-132
- Towards Granularity Based Control of Parallelism in Logic ProgramsP. Lopez Garcia, Manuel V. Hermenegildo, Saumya K. Debray. 133-144
- PAC++ System and Parallel Algebraic Numbers ComputationThierry Gautier, Jean-Louis Roch. 145-153
- Parallel Implementation of the Gamma-Operation on BagsKatia Gladitz, Herbert Kuchen. 154-163
- The Multipath Parallel Execution Model for PrologAntonio González 0001, Jordi Tubella. 164-173
- The Parallel Gröbner FactorizerHans-Gert Gräbe, Wolfgang Lassner. 174-180
- Parallel Functional Programming: An IntroductionKevin Hammond. 181-193
- An AND Parallelization Method for MGTP and Its EvaluationRyuzo Hasegawa, Miyuki Koshimura. 194-203
- The Vectorisation MonadJonathan M. D. Hill, Keith M. Clarke, Richard Bornat. 204-213
- Parallel Abduction in Logic ProgrammingAntonis C. Kakas, George A. Papadopoulos. 214-224
- Parallel Solution of Toeplitz and Toeplitz-Like Linear Systems Over Fields of Small Positive CharacteristicErich L. Kaltofen, Victor Y. Pan. 225-233
- A High Performance Runtime System for Parallel Evaluation of Lazy LanguagesOwen Kaser, C. R. Ramakrishnan 0001, R. C. Sekar 0001. 234-243
- Reducing Graph Copying Costs - Time to Wrap It UpMarco Kesseler. 244-253
- PARCS: An MPP-Oriented CLP LanguageKazuhiro Konno, Masaaki Nagatsuka, Naoki Kobayashi 0001, Satoshi Matsuoka, Akinori Yonezawa. 254-263
- Bidirectional Exact Integer DivisionWerner Krandick, Tudor Jebelean. 264-272
- Constraint Solving in Distributed Concurrent Logic ProgrammingHo-Fung Leung, Keith L. Clark. 273-283
- A Cooperative Scheme for Solving Constraints over the RealsPhilippe Marti, Michel Rueher. 284-293
- Optimizing Clause Matching Automata in Committed-Choice LanguagesBart Massey, Evan Tick. 294-303
- Modular Algorithm for Sparse Multivariate Polynomial Interpolation and its Parallel ImplementationHirokazu Murao, Tetsuro Fujise. 304-315
- Independent Subexpression Parallelism with Delayed Synchronization for Functional Logic LanguagesAndrés del Pozo-Prieto, Juan José Moreno-Navarro. 316-325
- Parallel GCD for Sparse Multivariate Polynomials on Shared Memory MultiprocessorsMohamed Omar Rayes, Paul S. Wang. 326-335
- A Stack-based Machine for Parallel Execution of Babel ProgramsFernando Sáenz-Pérez, José J. Ruz, Werner Hans, Stephan Winkler. 336-345
- A Para-Functional Programming Interface for a Parallel Computer Algebra PackageWolfgang Schreiner. 346-355
- A Parallel Factorization Tree Gröbner Basis AlgorithmKurt Siegl. 356-362
- A Semi-Automatic Approach for Parallelizing Symbolic Processing ProgramsAngela C. Sodan, Hua Bi. 363-372
- Parallel Symbolic Processing with the Distributed ListsMasaru Takesue. 373-381
- Implementation of a Data-Parallel Concurrrent Constraint Programming SystemBo-Ming Tong, Ho-Fung Leung. 382-393
- Parallel Polynomial Operations: A Progress ReportPaul S. Wang. 394-404
- Parallel Implementation of the Accelerated Integer GCD AlgorithmKenneth Weber. 405-411
- Distributed Programming in ErlangClaes Wikström. 412-421
- Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel SatisfiabilityHantao Zhang 0001, Maria Paola Bonacina. 422-431