Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsc/jsc15.bht:"
download as .bib file
@article{DBLP:journals/jsc/AdamsBL93,
author = {William W. Adams and
A. K. Boyle and
Philippe Loustaunau},
title = {Transitivity for Weak and Strong Gr{\"{o}}bner Bases},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {49--65},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1003},
doi = {10.1006/JSCO.1993.1003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/AdamsBL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BeauzamyTW93,
author = {Bernard Beauzamy and
Vilmar Trevisan and
Paul S. Wang},
title = {Polynomial Factorization Sharp Bounds, Efficient Algorithms},
journal = {J. Symb. Comput.},
volume = {15},
number = {4},
pages = {393--413},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1028},
doi = {10.1006/JSCO.1993.1028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BeauzamyTW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Becker93,
author = {Thomas Becker},
title = {Standard Bases in Power Series Rings: Uniqueness and Superfluous Critical
Pairs},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {251--265},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1018},
doi = {10.1006/JSCO.1993.1018},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Becker93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BennettGH93,
author = {J. P. Bennett and
Michael Grinfeld and
J. Hubble},
title = {Computer Algebra Techniques in Affinity Binding Equations: The Dimer
Case},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {79--83},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1006},
doi = {10.1006/JSCO.1993.1006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BennettGH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Bergeron93,
author = {Fran{\c{c}}ois Bergeron},
title = {Surprising Mathematics Using a Computer Algebra System},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {365--370},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1026},
doi = {10.1006/JSCO.1993.1026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Bergeron93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BoulangerB93,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
title = {Deriving Fold/Unfold Transformations of Logic Programs Using Extended
OLDT-Based Abstract Interpretation},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {495--521},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80003-9},
doi = {10.1016/S0747-7171(06)80003-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BoulangerB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BurrisL93,
author = {Stanley Burris and
John Lawrence},
title = {The Equivalence Problem for Finite Rings},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {67--71},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1004},
doi = {10.1006/JSCO.1993.1004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BurrisL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ButlerC93,
author = {Gregory Butler and
John J. Cannon},
title = {On Holt's Algorithm},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {229--233},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1016},
doi = {10.1006/JSCO.1993.1016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ButlerC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChadhaP93,
author = {Ritu Chadha and
David A. Plaisted},
title = {On the Mechanical Derivation of Loop Invariants},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {705--744},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80010-6},
doi = {10.1016/S0747-7171(06)80010-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ChadhaP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ClaussM93,
author = {Philippe Clauss and
Catherine Mongenet},
title = {Synthesis Aspects in the Design of Efficient Processor Arrays from
Affine Recurrence Equations},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {547--569},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80005-2},
doi = {10.1016/S0747-7171(06)80005-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ClaussM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DershowitzL93,
author = {Nachum Dershowitz and
Yuh{-}Jeng Lee},
title = {Logical Debugging},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {745--773},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80011-8},
doi = {10.1016/S0747-7171(06)80011-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DershowitzL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DershowitzR93,
author = {Nachum Dershowitz and
Uday S. Reddy},
title = {Deductive and Inductive Synthesis of Equational Programs},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {467--494},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80002-7},
doi = {10.1016/S0747-7171(06)80002-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DershowitzR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/DeursenKT93,
author = {Arie van Deursen and
Paul Klint and
Frank Tip},
title = {Origin Tracking},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {523--545},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80004-0},
doi = {10.1016/S0747-7171(06)80004-0},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/DeursenKT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Deutsch93,
author = {Jesse Ira Deutsch},
title = {Identities Arising From Hecke Transformations of Modular Forms Over
Q({\textbackslash}surd2) and Q({\textbackslash}surd3)},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {315--323},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1022},
doi = {10.1006/JSCO.1993.1022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Deutsch93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Dube93,
author = {Thomas Dub{\'{e}}},
title = {A Combinatorial Proof of the Effective Nullstellensatz},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {277--296},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1020},
doi = {10.1006/JSCO.1993.1020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Dube93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FahmyB93,
author = {Amr F. Fahmy and
Alan W. Biermann},
title = {Synthesis of Real Time Acceptors},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {807--842},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80013-1},
doi = {10.1016/S0747-7171(06)80013-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/FahmyB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/FlenerD93,
author = {Pierre Flener and
Yves Deville},
title = {Logic Program Synthesis from Incomplete Specifications},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {778--805},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80012-X},
doi = {10.1016/S0747-7171(06)80012-X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/FlenerD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Grabe93,
author = {Hans{-}Gert Gr{\"{a}}be},
title = {On Lucky Primes},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {199--209},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1014},
doi = {10.1006/JSCO.1993.1014},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Grabe93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Jebelean93,
author = {Tudor Jebelean},
title = {An Algorithm for Exact Division},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {169--180},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1012},
doi = {10.1006/JSCO.1993.1012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Jebelean93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Kalkbrener93,
author = {Michael Kalkbrener},
title = {A Generalized Euclidean Algorithm for Computing Triangular Representations
of Algebraic Varieties},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {143--167},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1011},
doi = {10.1006/JSCO.1993.1011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Kalkbrener93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KlimovLR93,
author = {D. M. Klimov and
V. V. Leonov and
V. M. Rudenko},
title = {The Study of Motion for a Gyroscope with Gimbal Suspension: Obtaining
the Highest Approximations for a Drift of Magnus},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {73--78},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1005},
doi = {10.1006/JSCO.1993.1005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/KlimovLR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Limongelli93,
author = {Carla Limongelli},
title = {On an Efficient Algorithm for Big Rational Number Computations by
Parallel p-adics},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {181--197},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1013},
doi = {10.1006/JSCO.1993.1013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Limongelli93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Lippok93,
author = {Frank Lippok},
title = {On the Representation of 1 by Binary Cubic Forms of Positive Discriminant},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {297--313},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1021},
doi = {10.1006/JSCO.1993.1021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Lippok93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Manocha93,
author = {Dinesh Manocha},
title = {Multipolynomial Resultant Algorithms},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {99--122},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1009},
doi = {10.1006/JSCO.1993.1009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Manocha93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MiddeldorpT93,
author = {Aart Middeldorp and
Yoshihito Toyama},
title = {Completeness of Combinations of Constructor Systems},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {331--348},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1024},
doi = {10.1006/JSCO.1993.1024},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MiddeldorpT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Mills93,
author = {Harry S. D. Mills},
title = {Symbolically Precise Solutions to a Homogeneous Second Order Matrix
Ordinary Differential Equation with Macsyma},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {91--98},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1008},
doi = {10.1006/JSCO.1993.1008},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/Mills93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MuraoKF93,
author = {Hirokazu Murao and
Hidetsune Kobayashi and
Tetsuro Fujise},
title = {On Factorizing the Symbolic U-Resultant - Application of the ddet
Operator -},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {123--142},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1010},
doi = {10.1006/JSCO.1993.1010},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MuraoKF93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/OmodeoPP93,
author = {Eugenio G. Omodeo and
Franco Parlamento and
Alberto Policriti},
title = {A Derived Algorithm for Evaluating {\textbackslash}varepsilon-Expressions
over Abstract Sets},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {673--704},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80009-X},
doi = {10.1016/S0747-7171(06)80009-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/OmodeoPP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Paulin-MohringW93,
author = {Christine Paulin{-}Mohring and
Benjamin Werner},
title = {Synthesis of {ML} Programs in the System Coq},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {607--640},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80007-6},
doi = {10.1016/S0747-7171(06)80007-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Paulin-MohringW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PuelS93,
author = {Laurence Puel and
Asc{\'{a}}nder Su{\'{a}}rez},
title = {Compiling Pattern Matching by Term Decomposition},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {1--26},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1001},
doi = {10.1006/JSCO.1993.1001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PuelS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Rutman93,
author = {Elizabeth W. Rutman},
title = {Primary Decomposition of Modules: Two Variables over a Field},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {267--275},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1019},
doi = {10.1006/JSCO.1993.1019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Rutman93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Sidebottom93,
author = {Greg Sidebottom},
title = {Implementing {CLP(IB)} Using the Connection Theorem Proving Method
and a Clause Management System},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {27--48},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1002},
doi = {10.1006/JSCO.1993.1002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Sidebottom93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Smith93,
author = {Douglas R. Smith},
title = {Constructing Specification Morphisms},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {571--606},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80006-4},
doi = {10.1016/S0747-7171(06)80006-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Smith93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Snyder93,
author = {Wayne Snyder},
title = {A Fast Algorithm for Generating Reduced Ground Rewriting Systems from
a Set of Ground Equations},
journal = {J. Symb. Comput.},
volume = {15},
number = {4},
pages = {415--450},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1029},
doi = {10.1006/JSCO.1993.1029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Snyder93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Takayama93,
author = {Yukihide Takayama},
title = {QPC{\_}2: {A} Constructive Calculus with Parameterized Specifications},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {641--672},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80008-8},
doi = {10.1016/S0747-7171(06)80008-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Takayama93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Thatte93,
author = {Satish R. Thatte},
title = {Finite Acyclic Theories are Unitary},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {235--249},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1017},
doi = {10.1006/JSCO.1993.1017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Thatte93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Viry93,
author = {Guy Viry},
title = {Factorization of Multivariate Polynomials with Coefficients in F{\_}p},
journal = {J. Symb. Comput.},
volume = {15},
number = {4},
pages = {371--391},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1027},
doi = {10.1006/JSCO.1993.1027},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Viry93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/WangW93,
author = {Rongdong Wang and
Peng{-}Yung Woo},
title = {Automatic Computation of {Z-} {\&} Inverse Z-Transformations by
Maple},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {349--363},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1025},
doi = {10.1006/JSCO.1993.1025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/WangW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Wilson93,
author = {Robert A. Wilson},
title = {The Brauer Tree for J{\_}3 in Characteristic 17},
journal = {J. Symb. Comput.},
volume = {15},
number = {3},
pages = {325--330},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1023},
doi = {10.1006/JSCO.1993.1023},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Wilson93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Wursthorn93,
author = {Martin Wursthorn},
title = {Isomorphisms of Modular Group Algebras: An Algorithm and its Application
to Groups of Order},
journal = {J. Symb. Comput.},
volume = {15},
number = {2},
pages = {211--227},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1015},
doi = {10.1006/JSCO.1993.1015},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Wursthorn93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ZhangSY93,
author = {Chang Nian Zhang and
Behrooz A. Shirazi and
David Y. Y. Yun},
title = {An Efficient Algorithm and Parallel Implementations for Binary and
Residue Number Systems},
journal = {J. Symb. Comput.},
volume = {15},
number = {4},
pages = {451--462},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1030},
doi = {10.1006/JSCO.1993.1030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/ZhangSY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Zharkov93,
author = {A. Yu. Zharkov},
title = {Computer Classification of the Integrable Coupled Kdv-like Systems
with Unit Main Matrix},
journal = {J. Symb. Comput.},
volume = {15},
number = {1},
pages = {85--90},
year = {1993},
url = {https://doi.org/10.1006/jsco.1993.1007},
doi = {10.1006/JSCO.1993.1007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Zharkov93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-28 11:09 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
