default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 3, 1987
Volume 3, Number 1/2, February/April 1987
- Bruno Buchberger:
History and Basic Features of the Critical-Pair/Completion Procedure. 3-38 - Ronald V. Book:
Thue Systems as Rewriting Systems. 39-68 - Nachum Dershowitz:
Termination of Rewriting. 69-116 - Michaël Rusinowitch:
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. 117-131 - Jieh Hsiang:
Rewrite Method for Theorem Proving in First Order Theory with Equality. 133-151 - Katherine A. Yelick
:
Unification in Combinations of Collapse-Free Regular Theories. 153-181 - Erik Tidén, Stefan Arnborg:
Unification Problems with One-Sided Distributivity. 183-202 - Dan Benanav, Deepak Kapur, Paliath Narendran:
Complexity of Matching Problems. 203-216
Volume 3, Number 3, June 1987
- Albrecht Fortenbacher:
An Algebraic Approach to Unification Under Associativity and Commutativity. 217-229 - Charles C. Sims:
Verifying Nilpotence. 231-247 - Franz Aurenhammer:
Recognising Polytopical Cell Complexes and Constructing Projection Polyhedra. 249-255 - François Fages:
Associative-Commutative Unification. 257-275 - John F. Ogilvie, R. H. Tipping:
On the Analytic Solution by Computer Algebra of Some Problems in the Vibration-Rotational Spectroscopy of Diatomic Molecules. 277-281 - W. A. Beyer, Leon Heller:
A Steiner Tree Associated with Three Quarks. 283-289 - R. D. Mills:
Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques. 291-301 - A. L. Semjonov, Leonid S. Melnikov, Vladimir A. Evstigneev:
Solving the Problems of Kinetics of Complex Reactions by Symbolic Algebraic Manipulation Methods. 303-307
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.
last updated on 2025-12-09 23:27 CET 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:
