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 YEAR=1989
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
Cancellativity in finitely presented semigroups
Paliath Narendran
,
Colm Ó'Dúnlaing
Journal Symbolic Computation
7
(5), 1989, pp. 457-472
Backtrack search with isomorph rejection and consistency check
C.W.H. Lam
,
L. Thiel
Journal Symbolic Computation
7
(5), 1989, pp. 473-485
A deductive database based on Aristotelian logic
Eyal Mozes
Journal Symbolic Computation
7
(5), 1989, pp. 487-507
Stratification and knowledge base management
Catherine Lassez
,
Ken McAloon
,
Graeme Port
Journal Symbolic Computation
7
(5), 1989, pp. 509-522
Using REDUCE in supersymmetry
Renato P. dos Santos
Journal Symbolic Computation
7
(5), 1989, pp. 523-525
The kernel of the Kodaira-Spencer map of the versal
\mu
-constant deformation of an irreducible plane curve singularity with
C^r
-action
Bernd Martin
,
Gerhard Pfister
Journal Symbolic Computation
7
(6), 1989, pp. 527-531
Deductive synthesis of sorting programs
Jonathan Traugott
Journal Symbolic Computation
7
(6), 1989, pp. 533-572
An interactive calculus theorem-prover for continuity properties
Patrick Suppes
,
Shuzo Takahashi
Journal Symbolic Computation
7
(6), 1989, pp. 573-590
Improved bounds for rectangular and Guillotine partitions
Teofilo Gonzalez
,
Si-Qing Zheng
Journal Symbolic Computation
7
(6), 1989, pp. 591-610
Computer algebra application for determining Lie and Lie-Bäcklund symmetries of differential equations
W.I. Fushchini
,
V.V. Kornyak
Journal Symbolic Computation
7
(6), 1989, pp. 611-619
Seiten
<
1
2
3