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    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsc/Yelick87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.