More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Journal of Symbolic Computation, Volume 3, 1987

> Home > Journals > Journal of Symbolic Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 3, Number 1/2, February/April 1987

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Buchberger87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Buchberger87
Bruno Buchberger:
History and Basic Features of the Critical-Pair/Completion Procedure. 3-38
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Book87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Book87
Ronald V. Book:
Thue Systems as Rewriting Systems. 39-68
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Dershowitz87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Dershowitz87
Nachum Dershowitz:
Termination of Rewriting. 69-116
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Rusinowitch87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Rusinowitch87
Michaël Rusinowitch:
Path of Subterms Ordering and Recursive Decomposition Ordering Revisited. 117-131
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Hsiang87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Hsiang87
Jieh Hsiang:
Rewrite Method for Theorem Proving in First Order Theory with Equality. 133-151
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Yelick87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Yelick87
Katherine A. Yelick:
Unification in Combinations of Collapse-Free Regular Theories. 153-181
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/TidenA87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/TidenA87
Erik Tidén, Stefan Arnborg:
Unification Problems with One-Sided Distributivity. 183-202
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/BenanavKN87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BenanavKN87
Dan Benanav, Deepak Kapur, Paliath Narendran:
Complexity of Matching Problems. 203-216

Volume 3, Number 3, June 1987

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Fortenbacher87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Fortenbacher87
Albrecht Fortenbacher:
An Algebraic Approach to Unification Under Associativity and Commutativity. 217-229
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Sims87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Sims87
Charles C. Sims:
Verifying Nilpotence. 231-247
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Aurenhammer87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Aurenhammer87
Franz Aurenhammer:
Recognising Polytopical Cell Complexes and Constructing Projection Polyhedra. 249-255
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Fages87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Fages87
François Fages:
Associative-Commutative Unification. 257-275
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/OgilvieT87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/OgilvieT87
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
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/BeyerH87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/BeyerH87
W. A. Beyer, Leon Heller:
A Steiner Tree Associated with Three Quarks. 283-289
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/Mills87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/Mills87
R. D. Mills:
Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques. 291-301
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/SemjonovME87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/SemjonovME87
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.