Search dblp for Publications

export results for "toc:db/journals/jsc/jsc3.bht:"

 download as .bib file

@article{DBLP:journals/jsc/Aurenhammer87,
  author       = {Franz Aurenhammer},
  title        = {Recognising Polytopical Cell Complexes and Constructing Projection
                  Polyhedra},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {249--255},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80003-2},
  doi          = {10.1016/S0747-7171(87)80003-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Aurenhammer87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BenanavKN87,
  author       = {Dan Benanav and
                  Deepak Kapur and
                  Paliath Narendran},
  title        = {Complexity of Matching Problems},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {203--216},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80027-5},
  doi          = {10.1016/S0747-7171(87)80027-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BenanavKN87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/BeyerH87,
  author       = {W. A. Beyer and
                  Leon Heller},
  title        = {A Steiner Tree Associated with Three Quarks},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {283--289},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80006-8},
  doi          = {10.1016/S0747-7171(87)80006-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/BeyerH87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Book87,
  author       = {Ronald V. Book},
  title        = {Thue Systems as Rewriting Systems},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {39--68},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80021-4},
  doi          = {10.1016/S0747-7171(87)80021-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Book87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Buchberger87,
  author       = {Bruno Buchberger},
  title        = {History and Basic Features of the Critical-Pair/Completion Procedure},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {3--38},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80020-2},
  doi          = {10.1016/S0747-7171(87)80020-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Buchberger87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Dershowitz87,
  author       = {Nachum Dershowitz},
  title        = {Termination of Rewriting},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {69--116},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80022-6},
  doi          = {10.1016/S0747-7171(87)80022-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Dershowitz87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Fages87,
  author       = {Fran{\c{c}}ois Fages},
  title        = {Associative-Commutative Unification},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {257--275},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80004-4},
  doi          = {10.1016/S0747-7171(87)80004-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Fages87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Fortenbacher87,
  author       = {Albrecht Fortenbacher},
  title        = {An Algebraic Approach to Unification Under Associativity and Commutativity},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {217--229},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80001-9},
  doi          = {10.1016/S0747-7171(87)80001-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Fortenbacher87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Hsiang87,
  author       = {Jieh Hsiang},
  title        = {Rewrite Method for Theorem Proving in First Order Theory with Equality},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {133--151},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80024-X},
  doi          = {10.1016/S0747-7171(87)80024-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Hsiang87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Mills87,
  author       = {R. D. Mills},
  title        = {Using a Small Algebraic Manipulation System to Solve Differential
                  and Integral Equations by Variational and Approximation Techniques},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {291--301},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80007-X},
  doi          = {10.1016/S0747-7171(87)80007-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Mills87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/OgilvieT87,
  author       = {John F. Ogilvie and
                  R. H. Tipping},
  title        = {On the Analytic Solution by Computer Algebra of Some Problems in the
                  Vibration-Rotational Spectroscopy of Diatomic Molecules},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {277--281},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80005-6},
  doi          = {10.1016/S0747-7171(87)80005-6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/OgilvieT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Rusinowitch87,
  author       = {Micha{\"{e}}l Rusinowitch},
  title        = {Path of Subterms Ordering and Recursive Decomposition Ordering Revisited},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {117--131},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80023-8},
  doi          = {10.1016/S0747-7171(87)80023-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Rusinowitch87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/SemjonovME87,
  author       = {A. L. Semjonov and
                  Leonid S. Melnikov and
                  Vladimir A. Evstigneev},
  title        = {Solving the Problems of Kinetics of Complex Reactions by Symbolic
                  Algebraic Manipulation Methods},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {303--307},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80008-1},
  doi          = {10.1016/S0747-7171(87)80008-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/SemjonovME87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Sims87,
  author       = {Charles C. Sims},
  title        = {Verifying Nilpotence},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {3},
  pages        = {231--247},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80002-0},
  doi          = {10.1016/S0747-7171(87)80002-0},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Sims87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/TidenA87,
  author       = {Erik Tid{\'{e}}n and
                  Stefan Arnborg},
  title        = {Unification Problems with One-Sided Distributivity},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {183--202},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80026-3},
  doi          = {10.1016/S0747-7171(87)80026-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/TidenA87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsc/Yelick87,
  author       = {Katherine A. Yelick},
  title        = {Unification in Combinations of Collapse-Free Regular Theories},
  journal      = {J. Symb. Comput.},
  volume       = {3},
  number       = {1/2},
  pages        = {153--181},
  year         = {1987},
  url          = {https://doi.org/10.1016/S0747-7171(87)80025-1},
  doi          = {10.1016/S0747-7171(87)80025-1},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsc/Yelick87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.