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=7
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
General methods for adding range restrictions to decomposable searching problems
Hans W. Scholten
,
Mark H. Overmars
Journal Symbolic Computation
7
(1), 1989, pp. 1-10
Visibility problems for polyhedral terrains
Richard Cole
,
Micha Sharir
Journal Symbolic Computation
7
(1), 1989, pp. 11-30
GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation
Bruce W. Char
,
Keith O. Geddes
,
Gaston H. Gonnet
Journal Symbolic Computation
7
(1), 1989, pp. 31-48
Solving algebraic equations: Combining Buchberger's algorithm with multivariate factorization
S.R. Czapor
Journal Symbolic Computation
7
(1), 1989, pp. 49-53
On the D-bases of polynomial ideals over principal ideal domains
Luquan Pan
Journal Symbolic Computation
7
(1), 1989, pp. 55-69
Solving symbolic equations with PRESS
Leon Sterling
,
Alan Bundy
,
Lawrence Byrd
,
Richard O'Keefe
,
Bernard Silver
Journal Symbolic Computation
7
(1), 1989, pp. 71-84
Algebraic programming of geometrical calculus and Clifford algebra
Ph. Tombal
,
A. Moussiaux
Journal Symbolic Computation
7
(1), 1989, pp. 85-91
Computation of the cohomology of BŜO
_n\langle16\rangle
for
23\leq n\leq 26
using REDUCE
Tze Beng Ng
Journal Symbolic Computation
7
(1), 1989, pp. 93-99
The word problem for Smullyan's lark combinator is decidable
Rick Statman
Journal Symbolic Computation
7
(2), 1989, pp. 103-112
Parallel reductions in
\lambda
-calculus
Masako Takahashi
Journal Symbolic Computation
7
(2), 1989, pp. 113-123
On the transformation of logic programs with instantiation based computation rules
Danny de Schreye
,
Maurice Bruynooghe
Journal Symbolic Computation
7
(2), 1989, pp. 125-154
A computer oriented algorithm for the determination of the dimension and character of a modular irreducible
SL(n, K)
-module
Marilena Pittaluga
,
Elisabetta Strickland
Journal Symbolic Computation
7
(2), 1989, pp. 155-161
INGRID: A graph invariant manipulator
Ronald D. Dutton
,
Robert C. Brigham
,
Fernando Gomez
Journal Symbolic Computation
7
(2), 1989, pp. 163-177
An example of application of symbolic computation in solid state physics
S.A. Vorontsov
Journal Symbolic Computation
7
(2), 1989, pp. 179-181
Symbolic evaluation of integrals occurring in accelerator orbit theory
B. Autin
,
J. Bengtsson
Journal Symbolic Computation
7
(2), 1989, pp. 183-187
A MACSYMA program for the multiple bifurcation analysis of double-diffusive convection
Jerry F. Magnan
Journal Symbolic Computation
7
(2), 1989, pp. 189-197
Application of NEWEUL in robot dynamics
Wolfgang Hirschberg
,
Dieter Schramm
Journal Symbolic Computation
7
(2), 1989, pp. 199-204
Unification theory
Jörg H. Siekmann
Journal Symbolic Computation
7
(3-4), 1989, pp. 207-274
Boolean unification - The story so far
Ursula Martin
,
Tobias Nipkow
Journal Symbolic Computation
7
(3-4), 1989, pp. 275-293
Basic narrowing revisited
Werner Nutt
,
Pierre Réty
,
Gert Smolka
Journal Symbolic Computation
7
(3-4), 1989, pp. 295-317
Enumerating outer narrowing derivations for constructor-based term rewriting systems
Jia-Huai You
Journal Symbolic Computation
7
(3-4), 1989, pp. 319-341
Inheritance hierarchies: Semantics and unification
Gert Smolka
,
Hassan Ait-Kaci
Journal Symbolic Computation
7
(3-4), 1989, pp. 343-370
Equational problems and disunification
Hubert Comon
,
Pierre Lescanne
Journal Symbolic Computation
7
(3-4), 1989, pp. 371-425
On the relationship of congruence closure and unification
Paris C. Kanellakis
,
Peter Z. Revesz
Journal Symbolic Computation
7
(3-4), 1989, pp. 427-444
Polynomial decomposition algorithms
Dexter Kozen
,
Susan Landau
Journal Symbolic Computation
7
(5), 1989, pp. 445-456
Seiten 1
2
>