@incollection{Andreoli-Borghoff-Pareschi/94,
AUTHOR = {Andreoli, Jean-Marc and Borghoff, Uwe M. and Pareschi, Remo},
TITLE = {Constraint-based knowledge brokers},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {1-11},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Attardi-Traverso/94,
AUTHOR = {Attardi, Giuseppe and Traverso, Carlo},
TITLE = {A strategy-accurate parallel Buchberger algorithm},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {12-21},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Bonacina/94,
AUTHOR = {Bonacina, Maria Paola},
TITLE = {On the reconstruction of proofs in distributed theorem proving with contraction: A modified clause-diffusion method},
BOOKTITLE = {Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94 (Hagenberg/Linz, Austria, September 26-28, 1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {22-33},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{de_Bosschere-Jacquet/94,
AUTHOR = {de Bosschere, Koen and Jacquet, Jean-Marie},
TITLE = {Local and conditional blackboard operations in $\mu$Log: Semantics, applicability, and implementation},
BOOKTITLE = {Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94 (Hagenberg/Linz, Austria, September 26-28, 1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {34-43},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Bratvold/94,
AUTHOR = {Bratvold, Tore A.},
TITLE = {Parallelising a functional program using a list-homomorphism skeleton},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {44-53},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Brlek-Rauzy/94,
AUTHOR = {Brlek, Sre{\'c}ko and Rauzy, Antoine},
TITLE = {Synchronization of constrained transition systems},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {54-62},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Bueno-Banda-Hermenegildo/94,
AUTHOR = {Bueno, F. and Banda, M. Garc{\'{i}}a de la and Hermenegildo, M.},
TITLE = {A comparative study of methods for automatic compile-time parallelization of logic programs},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {63-73},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Burke-Perline/94,
AUTHOR = {Burke-Perline, Tracy},
TITLE = {The parallel computation of $f(x)^{\frac{(p-1)}{2}}\bmod h(x)$ using Sugarbush 1.1},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {74-83},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Bundgen-Gobel-Kuchlin/94a,
AUTHOR = {B{\"u}ndgen, Reinhard and G{\"o}bel, Manfred and K{\"u}chlin, Wolfgang},
TITLE = {Multi-threaded AC term rewriting},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {84-93},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Char-Johnson-Saunders-Wack/94,
AUTHOR = {Char, Bruce and Johnson, Jeremy and Saunders, David and Wack, Andrew P.},
TITLE = {Some experiments with parallel bignum arithmetic},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {94-103},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Dalmas-Gaetano-Sausse/94,
AUTHOR = {Dalmas, St{\'{e}}phane and Ga{\"e}tano, Marc and Sausse, Alain},
TITLE = {Distributed computer algebra: The central control approach},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {104-113},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Denzinger-Schulz/94,
AUTHOR = {Denzinger, J{\"o}rg and Schulz, Stephan},
TITLE = {Recording, analyzing and presenting distributed deduction processes},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {114-123},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Faugere/94,
AUTHOR = {Faug{\`e}re, J.C.},
TITLE = {Parallelization of Gr{\"o}bner basis},
BOOKTITLE = {Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94 (Hagenberg/Linz, Austria, September 26-28, 1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {124-132},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Lopez_Garcia-Hermenegildo-Debray/94,
AUTHOR = {L{\'{o}}pez Garc{\'{i}}a, P. and Hermenegildo, M. and Debray, S.K.},
TITLE = {Towards granularity based control of parallelism in logic programs},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {133-144},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Gautier-Roch/94,
AUTHOR = {Gautier, Th. and Roch, J.L.},
TITLE = {PAC++ system and parallel algebraic numbers computation},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {145-153},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Gladitz-Kuchen/94,
AUTHOR = {Gladitz, Katia and Kuchen, Herbert},
TITLE = {Parallel implementation of the Gamma-operation on bags},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {154-163},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Gonzalez-Tubella/94,
AUTHOR = {Gonz{\'a}lez, Antonio and Tubella, Jordi},
TITLE = {The multipath parallel execution model for Prolog},
BOOKTITLE = {Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94 (Hagenberg/Linz, Austria, September 26-28, 1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {164-173},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Grabe-Lassner/94,
AUTHOR = {Gr{\"a}be, Hans-Gert and Lassner, Wolfgang},
TITLE = {A parallel Gr{\"o}bner factorizer},
BOOKTITLE = {Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94 (Hagenberg/Linz, Austria, September 26-28, 1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {174-180},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Hammond/94,
AUTHOR = {Hammond, Kevin},
TITLE = {Parallel functional programming: An introduction},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {181-193},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Hasegawa-Koshimura/94,
AUTHOR = {Hasegawa, Ryuzo and Koshimura, Miyuki},
TITLE = {An AND parallelization method for MGTP and its evaluation},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {194-203},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Hill-Clarke-Bornat/94,
AUTHOR = {Hill, Jonathan M.D. and Clarke, Keith M. and Bornat, Richard},
TITLE = {The vectorization monad},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {204-213},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Kakas-Papadopoulos/94,
AUTHOR = {Kakas, Antonis C. and Papadopoulos, George A.},
TITLE = {Parallel abduction in logic programming},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {214-224},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Kaltofen-Pan/94,
AUTHOR = {Kaltofen, Erich and Pan, Victor},
TITLE = {Parallel solution of Toeplitz and Toeplitz-like linear systems over fields of small positive characteristic},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {225-233},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Kaser-Ramakrishnan-Sekar/94,
AUTHOR = {Kaser, Owen and Ramakrishnan, C.R. and Sekar, R.C.},
TITLE = {A high performance runtime system for parallel evaluation of lazy languages},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {234-243},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Kesseler/94,
AUTHOR = {Kesseler, Marco},
TITLE = {Reducing graph copying costs --- Time to wrap it up},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {244-253},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Konno-Nagatsuka-Kobayashi-Matsuoka-Yonezawa/94,
AUTHOR = {Konno, Kazuhiro and Nagatsuka, Masaaki and Kobayashi, Naoki and Matsuoka, Satoshi and Yonezawa, Akinori},
TITLE = {PARCS: An MPP-oriented CLP language},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {254-263},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Krandick-Jebelean/94,
AUTHOR = {Krandick, Werner and Jebelean, Tudor},
TITLE = {Bidirectional exact integer division},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {264-272},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Leung-Clark/94,
AUTHOR = {Leung, Ho-Fung and Clark, Keith L.},
TITLE = {Constraint solving in distributed concurrent logic programming},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {273-283},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Marti-Rueher/94,
AUTHOR = {Marti, Philippe and Rueher, Michel},
TITLE = {A cooperative scheme for solving constraints over the reals},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {284-293},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Massey-Tick/94a,
AUTHOR = {Massey, Bart and Tick, Evan},
TITLE = {Optimizing clause matching automata in committed-choice languages},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {294-303},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Murao-Fujise/94,
AUTHOR = {Murao, Hirokazu and Fujise, Tetsuro},
TITLE = {Modular algorithm for sparse multivariate polynomial interpolation and its parallel implementation},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {304-315},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{del_Pozo-Prieto-Moreno-Navarro/94,
AUTHOR = {del Pozo-Prieto, Andr{\'{e}}s and Moreno-Navarro, Juan Jos{\'{e}}},
TITLE = {Independent subexpressions parallelism with delayed synchronization for functional logic languages},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {316-325},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Rayes-Wang/94,
AUTHOR = {Rayes, Mohamed Omar and Wang, Paul S.},
TITLE = {Parallel GCD for sparse multivariate polynomials on shared memory multiprocessors},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {326-335},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Saenz-Ruz-Hans-Winkler/94,
AUTHOR = {S{\'{a}}enz, F. and Ruz, J.J. and Hans, W. and Winkler, St.},
TITLE = {A stack-based machine for parallel execution of Babel programs},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {336-345},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Schreiner/94a,
AUTHOR = {Schreiner, Wolfgang},
TITLE = {A para-functional programming interface for a parallel computer algebra package},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {346-355},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Siegl/94,
AUTHOR = {Siegl, Kurt},
TITLE = {A parallel factorization tree Gr{\"o}bner basis algorithm},
BOOKTITLE = {Proceedings of the First International Symposium on Parallel Symbolic Computation, PASCO'94 (Hagenberg/Linz, Austria, September 26-28, 1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {356-362},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Sodan-Bi/94,
AUTHOR = {Sodan, A. and Bi, Hua},
TITLE = {A semi-automatic approach for parallelizing symbolic processing programs},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {363-372},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Takesue/94,
AUTHOR = {Takesue, Masaru},
TITLE = {Parallel symbolic processing with distributed lists},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {373-381},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Tong-Leung/94,
AUTHOR = {Tong, Bo-Ming and Leung, Ho-Fung},
TITLE = {Implementation of a data-parallel concurrent constraint programming system},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {382-393},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Wang/94f,
AUTHOR = {Wang, Paul S.},
TITLE = {Parallel polynomial operations: A progress report},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {394-404},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Weber/94d,
AUTHOR = {Weber, Kenneth},
TITLE = {Parallel implementation of the accelerated integer GCD algorithm},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {405-411},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Wikstrom/94,
AUTHOR = {Wikstr{\"o}m, Claes},
TITLE = {Distributed programming in Erlang},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {412-421},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}
@incollection{Zhang-Bonacina/94,
AUTHOR = {Zhang, Hantao and Bonacina, Maria Paola},
TITLE = {Cumulating search in a distributed computing environment: A case study in parallel satisfiability},
BOOKTITLE = {Proceedings of the 1st International Symposium on Parallel Symbolic Computation (PASCO '94) (Hagenberg/Linz, Austria, September 26-28,1994)},
SERIES = {Lecture Note Series in Computing},
VOLUME = {5},
PAGES = {422-431},
YEAR = {1994},
EDITOR = {Hong, Hoon},
PUBLISHER = {World Scientific},
ADDRESS = {Singapore-New Jersey-London-Hong Kong},
}