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=17
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Completeness of combinations of conditional constructor systems
Aart Middeldorp
Journal Symbolic Computation
17
(1), 1994, pp. 3-21
Termination of term rewriting: Interpretation and type elimination
H. Zantema
Journal Symbolic Computation
17
(1), 1994, pp. 23-50
A constructor-based approach to positive/negative-conditional equational specifications
Claus-Peter Wirth
,
Bernhard Gramlich
Journal Symbolic Computation
17
(1), 1994, pp. 51-90
Linearizing term rewriting systems using test sets
Dieter Hofbauer
,
Maria Huber
Journal Symbolic Computation
17
(1), 1994, pp. 91-129
Isomorphism testing for
p
-groups
E.A. O'Brien
Journal Symbolic Computation
17
(2), 1994, pp. 133-147
Hilbert series for ideals generated by generic forms
Ralf Fröberg
,
Joachim Hollman
Journal Symbolic Computation
17
(2), 1994, pp. 149-157
Calculations with simplicial and cubical groups in AXIOM
Ronald Brown
,
Andrew Tonks
Journal Symbolic Computation
17
(2), 1994, pp. 159-179
A corrigendum for the optimized-IPIA
Alex Kean
,
George Tsiknis
Journal Symbolic Computation
17
(2), 1994, pp. 181-187
A new method for the Boolean ring based theorem proving
Hantao Zhang
Journal Symbolic Computation
17
(2), 1994, pp. 189-211
Exact transversal hypergraphs and application to Boolean
\mu
-functions
Thomas Eiter
Journal Symbolic Computation
17
(3), 1994, pp. 215-225
Fast computation of some asymptotic functional inverses
Bruno Salvy
Journal Symbolic Computation
17
(3), 1994, pp. 227-236
Idempotent computation over finite fields
Richard A. Davis
Journal Symbolic Computation
17
(3), 1994, pp. 237-258
Classifying geometries with Cayley
Michel Dehon
Journal Symbolic Computation
17
(3), 1994, pp. 259-276
On the smallest divisor of a polynomial
Maurice Mignotte
,
Philippe Glesser
Journal Symbolic Computation
17
(3), 1994, pp. 277-282
Symbolic computation of DeWitt-Seeley-Gilkey coefficients on curved manifolds
V.P. Gusynin
,
V.V. Kornyak
Journal Symbolic Computation
17
(3), 1994, pp. 283-294
Complexity, algorithms, programs, systems: The shifting focus
Jurg Nievergelt
Journal Symbolic Computation
17
(4), 1994, pp. 297-310
Evolution of a software system: Interaction, interfaces and applications in the XYZ GeoBench
Peter Schorn
Journal Symbolic Computation
17
(4), 1994, pp. 311-320
An application of point pattern matching in astronautics
Gerald Weber
,
Lars Knipping
,
Helmut Alt
Journal Symbolic Computation
17
(4), 1994, pp. 321-340
Grail: A C++ library for automata and expressions
Darrell Raymond
,
Derick Wood
Journal Symbolic Computation
17
(4), 1994, pp. 341-350
Surface reconstruction between simple polygons via angle criteria
Emo Welzl
,
Barbara Wolfers
Journal Symbolic Computation
17
(4), 1994, pp. 351-369
Fast construction of irreducible polynomials over finite fields
Victor Shoup
Journal Symbolic Computation
17
(5), 1994, pp. 371-391
Injectivity of composite functions
Kim S. Larsen
,
Michael I. Schwartzbach
Journal Symbolic Computation
17
(5), 1994, pp. 393-408
Computing a set of generators of minimal cardinality in a solvable group
Andrea Lucchini
,
Federico Menegazzo
Journal Symbolic Computation
17
(5), 1994, pp. 409-420
Regular path expressions in feature logic
Rolf Backofen
Journal Symbolic Computation
17
(5), 1994, pp. 421-455
Symbolic local refinement of tetrahedral grids
D.J. Hebert
Journal Symbolic Computation
17
(5), 1994, pp. 457-472
Seiten 1
2
>