Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=J. Symbolic Computation AND Volume=3
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
History and basic features of the critical-pair/completion procedure
Bruno Buchberger
Journal Symbolic Computation
3
(1-2), 1987, pp. 3-38
Thue systems as rewriting systems
Ronald V. Book
Journal Symbolic Computation
3
(1-2), 1987, pp. 39-68
Termination of rewriting
Nachum Dershowitz
Journal Symbolic Computation
3
(1-2), 1987, pp. 69-115
Path of subterms ordering and recursive decomposition ordering revisited
Michael Rusinowitch
Journal Symbolic Computation
3
(1-2), 1987, pp. 117-131
Rewrite method for theorem proving in first order theory with equality
Jieh Hsiang
Journal Symbolic Computation
3
(1-2), 1987, pp. 133-151
Unification in combinations of collapse-free regular theories
Katherine A. Yelick
Journal Symbolic Computation
3
(1-2), 1987, pp. 153-181
Unification problems with one-sided distributivity
Erik Tiden
,
Stefan Arnborg
Journal Symbolic Computation
3
(1-2), 1987, pp. 183-202
Complexity of matching problems
Dan Benanav
,
Deepak Kapur
,
Paliath Narendran
Journal Symbolic Computation
3
(1-2), 1987, pp. 203-216
An algebraic approach to unification under associativity and commutativity
Albrecht Fortenbacher
Journal Symbolic Computation
3
(3), 1987, pp. 217-229
Verifying nilpotence
Charles C. Sims
Journal Symbolic Computation
3
(3), 1987, pp. 231-247
Recognising polytopical cell complexes and constructing projection polyhedra
F. Aurenhammer
Journal Symbolic Computation
3
(3), 1987, pp. 249-255
Associative-commutative unification
François Fages
Journal Symbolic Computation
3
(3), 1987, pp. 257-275
On the analytic solution by computer algebra of some problems in the vibration-rotational spectroscopy of diatomic molecules
J.F. Ogilvie
,
R.H. Tipping
Journal Symbolic Computation
3
(3), 1987, pp. 277-281
A Steiner tree associated with three quarks
W.A. Beyer
,
L. Heller
Journal Symbolic Computation
3
(3), 1987, pp. 283-289
Using a small algebraic manipulation system to solve differential and integral equations by variational and approximation techniques
R.D. Mills
Journal Symbolic Computation
3
(3), 1987, pp. 291-301
Solving the problems of kinetics of complex reactions by symbolic algebraic manipulation methods
A.L. Semjonov
,
L.S. Mel'nikov
,
V.A. Evstigneev
Journal Symbolic Computation
3
(3), 1987, pp. 303-307