@article{Puel-Suarez/93,
AUTHOR = {Puel, Laurence and Suarez, Ascander},
TITLE = {Compiling pattern matching by term decomposition},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {1-26},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Sidebottom/93,
AUTHOR = {Sidebottom, Greg},
TITLE = {Implementing CLPB using the connection theorem proving method and a clause management system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {27-48},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Adams-Boyle-Loustaunau/93,
AUTHOR = {Adams, W.W. and Boyle, A. and Loustaunau, P.},
TITLE = {Transitivity for weak and strong Gr{\"o}bner bases},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {49-65},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Burris-Lawrence/93,
AUTHOR = {Burris, Stanley and Lawrence, John},
TITLE = {The equivalence problem for finite rings},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {67-71},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Klimov-Leonov-Rudenko/93,
AUTHOR = {Klimov, D.M. and Leonov, V.V. and Rudenko, V.M.},
TITLE = {The study of motion for a gyroscope with gimbal suspension: Obtaining the highest approximations for a drift of Magnus},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {73-78},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bennett-Grinfeld-Hubble/93,
AUTHOR = {Bennett, J.P. and Grinfeld, M. and Hubble, J.},
TITLE = {Computer algebra techniques in affinity binding equations: The dimer case},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {79-83},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zharkov/93,
AUTHOR = {Zharkov, A.Yu.},
TITLE = {Computer classification of the integrable coupled Kdv-like systems with unit main matrix},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {85-90},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Mills/93,
AUTHOR = {Mills, Harry S.D.},
TITLE = {Symbolically precise solutions to a homogeneous second order matrix ordinary differential equation with Macsyma},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {1},
PAGES = {91-98},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Manocha-Canny/93,
AUTHOR = {Manocha, Dinesh and Canny, John F.},
TITLE = {Multipolynomial resultant algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
PAGES = {99-122},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {New York-San Francisco-London-San Diego},
}
@article{Murao-Kobayashi-Fujise/93,
AUTHOR = {Murao, Hirokazu and Kobayashi, Hidetsune and Fujise, Tetsuro},
TITLE = {On factorizing the symbolic $U$-resultant --- Application of the ddet operator},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {123-142},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Kalkbrener/93,
AUTHOR = {Kalkbrener, Michael},
TITLE = {A generalized Euclidean algorithm for computing triangular representations of algebraic varieties},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {143-167},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Jebelean/93,
AUTHOR = {Jebelean, Tudor},
TITLE = {An algorithm for exact division},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {169-180},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Limongelli/93,
AUTHOR = {Limongelli, Carla},
TITLE = {On an efficient algorithm for big rational number computations by parallel $p$-adics},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {181-197},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Grabe/93,
AUTHOR = {Gr{\"a}be, Hans-Gert},
TITLE = {On lucky primes},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {199-209},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wursthorn/93,
AUTHOR = {Wursthorn, Martin},
TITLE = {Isomorphisms of modular group algebras: An algorithm and its application to groups of order $2^6$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {211-227},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Butler-Cannon/93,
AUTHOR = {Butler, Greg and Cannon, John J.},
TITLE = {On Holt's algorithm},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {229-233},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Thatte/93,
AUTHOR = {Thatte, Satish R.},
TITLE = {Finite acyclic theories are unitary},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {2},
PAGES = {235-249},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Becker/93,
AUTHOR = {Becker, Thomas},
TITLE = {Standard bases in power series rings: Uniqueness and superfluous critical pairs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {251-265},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Rutman/93,
AUTHOR = {Rutman, Elizabeth W.},
TITLE = {Primary decomposition of mudules: Two variables over a field},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {267-275},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dube/93,
AUTHOR = {Dub{\'{e}}, Thomas W.},
TITLE = {A combinatorial proof of the effective Nullstellensatz},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {277-296},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Lippok/93,
AUTHOR = {Lippok, Frank},
TITLE = {On the representation of 1 by binary cubic forms of positive discriminant},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {297-313},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Deutsch/93,
AUTHOR = {Deutsch, Jesse Ira},
TITLE = {Identities arising from Hecke transformations of modular forms over $Q(\surd2)$ and $Q(\surd3)$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {315-323},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wilson/93,
AUTHOR = {Wilson, Robert A.},
TITLE = {The Brauer tree for $J_3$ in characteristic 17},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {325-330},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Middeldorp-Toyama/93,
AUTHOR = {Middeldorp, Aart and Toyama, Yoshihito},
TITLE = {Completeness of combinations of constructor systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {331-348},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Wang-Woo/93,
AUTHOR = {Wang, Rongdong and Woo, Peng-Yung},
TITLE = {Automatic computation of $Z$- \& inverse $Z$-transformations by Maple},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {349-363},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Bergeron/93,
AUTHOR = {Bergeron, Fran{\c{c}}ois},
TITLE = {Surprising mathematics using a computer algebra system},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {3},
PAGES = {365-370},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Viry/93,
AUTHOR = {Viry, Guy},
TITLE = {Factorization of multivariate polynomials with coefficients in $F_p$},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {4},
PAGES = {371-391},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Beauzamy-Trevisan-Wang/93,
AUTHOR = {Beauzamy, Bernard and Trevisan, Vilmar and Wang, Paul S.},
TITLE = {Polynomial factorization: Sharp bounds, efficient algorithms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {4},
PAGES = {393-413},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Snyder/93,
AUTHOR = {Snyder, Wayne},
TITLE = {A fast algorithm for generating reduced ground rewriting systems from a set of ground equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {4},
PAGES = {415-450},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Zhang-Shirazi-Yun/93,
AUTHOR = {Zhang, C.N. and Shirazi, B. and Yun, D.Y.Y.},
TITLE = {An efficient algorithm and parallel implementations for binary and residue number systems},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {4},
PAGES = {451-462},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dershowitz-Reddy/93,
AUTHOR = {Dershowitz, Nachum and Reddy, Uday S.},
TITLE = {Deductive and inductive synthesis of equational programs},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {467-494},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Boulanger-Bruynooghe/93,
AUTHOR = {Boulanger, Dmitri and Bruynooghe, Maurice},
TITLE = {Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {495-521},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{van_Deursen-Klint-Tip/93,
AUTHOR = {van Deursen, A. and Klint, P. and Tip, F.},
TITLE = {Origin tracking},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {523-545},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Clauss-Mongenet/93,
AUTHOR = {Clauss, Philippe and Mongenet, Catherine},
TITLE = {Synthesis aspects in the design of efficient processor arrays from affine recurrence equations},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {547-569},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Smith/93b,
AUTHOR = {Smith, Douglas R.},
TITLE = {Constructing specification morphisms},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {571-606},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Paulin-Mohring-Werner/93,
AUTHOR = {Paulin-Mohring, Christine and Werner, Benjamin},
TITLE = {Synthesis of ML programs in the system Coq},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {607-640},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Takayama/93,
AUTHOR = {Takayama, Yukihide},
TITLE = {QPC$_2$: A constructive calculus with parameterized specifications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {641-672},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Omodeo-Parlamento-Policriti/93,
AUTHOR = {Omodeo, Eugenio G. and Parlamento, Franco and Policriti, Alberto},
TITLE = {A derived algorithm for evaluating $\varepsilon$-expressions over abstract sets},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {673-704},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Chadha-Plaisted/93,
AUTHOR = {Chadha, Ritu and Plaisted, David A.},
TITLE = {On the mechanical derivation of loop invariants},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {705-744},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Dershowitz-Lee/93,
AUTHOR = {Dershowitz, Nachum and Lee, Yuh-Jeng},
TITLE = {Logical debugging},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {745-773},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Flener-Deville/93,
AUTHOR = {Flener, Pierre and Deville, Yves},
TITLE = {Logic program synthesis from incomplete specifications},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {775-805},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}
@article{Fahmy-Biermann/93,
AUTHOR = {Fahmy, Amr F. and Biermann, Alan W.},
TITLE = {Synthesis of real time acceptors},
JOURNAL = {J. Symbolic Computation},
VOLUME = {15},
NUMBER = {5-6},
PAGES = {807-842},
YEAR = {1993},
PUBLISHER = {Academic Press},
ADDRESS = {London-San Diego-New York-Boston-Sydney-Tokyo-Toronto},
}