default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 17, 1994
Volume 17, Number 1, January 1994
- Aart Middeldorp
:
Completeness of Combinations of Conditional Constructor Systems. 3-21 - Hans Zantema:
Termination of Term Rewriting: Interpretation and Type Elimination. 23-50 - Claus-Peter Wirth, Bernhard Gramlich:
A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications. 51-90 - Dieter Hofbauer, Maria Huber:
Linearizing Term Rewriting Systems Using Test Sets. 91-129
Volume 17, Number 2, February 1994
- E. A. O'Brien:
Isomorphism Testing for p-Groups. 133-147 - Ralf Fröberg, Joachim Hollman:
Hilbert Series for Ideals Generated by Generic Forms. 149-157 - Ronald Brown, Andrew Tonks:
Calculations with Simplicial and Cubical Groups in AXIOM. 159-179 - Alex Kean, George K. Tsiknis:
A Corrigendum for the Optimized-IPIA. 181-187 - Hantao Zhang:
A New Method for the Boolean Ring Based Theorem Proving. 189-211
Volume 17, Number 3, March 1994
- Thomas Eiter:
Exact Transversal Hypergraphs and Application to Boolean µ-Functions. 215-225 - Bruno Salvy:
Fast Computation of Some Asymptotic Functional Inverses. 227-236 - Richard A. Davies:
Idempotent Computation over Finite Fields. 237-258 - Michel Dehon:
Classifying Geometries with Cayley. 259-276 - Maurice Mignotte, Philippe H. Glesser:
On the Smallest Divisor of a Polynomial. 277-282 - V. P. Gusynin, Vladimir V. Kornyak:
Symbolic Computation of DeWitt-Seeley-Gilkey Coefficients on Curved Manifolds. 283-294
Volume 17, Number 4, April 1994
- Jürg Nievergelt:
Complexity, Algorithms, Programs, Systems: The Shifting Focus. 297-310 - Peter Schorn:
Evolution of a Software System: Interaction, Interfaces and Applications in the XYZ GeoBench. 311-320 - Gerald Weber, Lars Knipping, Helmut Alt:
An Application of Point Pattern Matching in Astronautics. 321-340 - Darrell R. Raymond, Derick Wood:
Grail: A C++ Library for Automata and Expressions. 341-350 - Emo Welzl, Barbara Wolfers:
Surface Reconstruction Between Simple Polygons via Angle Criteria. 351-369
Volume 17, Number 5, May 1994
- Victor Shoup:
Fast Construction of Irreducible Polynomials over Finite Fields. 371-391 - Kim S. Larsen, Michael I. Schwartzbach:
Injectivity of Composite Functions. 393-408 - Andrea Lucchini, Federico Menegazzo:
Computing a Set of Generators of Minimal Cardinality in a Solvable Group. 409-420 - Rolf Backofen:
Regular Path Expressions in Feature Logic. 421-455 - Delma J. Hebert:
Symbolic Local Refinement of Tetrahedral Grids. 457-472
Volume 17, Number 6, June 1994
- Jeffrey O. Shallit, Jonathan P. Sorenson:
Analysis of a Left-Shift Binary GCD Algorithm. 473-486 - Patrick A. Worfolk:
Zeros of Equivariant Vector Fields: Algorithms for an Invariant Approach. 487-511 - Gene Cooperman, Larry Finkelstein:
A Random Base Change Algorithm for Permutation Groups. 513-528 - Klaus Lux, Jürgen Müller, Michael Ringe:
Peakword Condensation and Submodule Lattices: An Application of the Meat-Axe. 529-544 - Kazuhiro Yokoyama, Masayuki Noro, Taku Takeshima:
Multi-Modular Approach to Polynomial-Time Factorization of Bivariate Integral Polynomials. 545-563
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.
last updated on 2025-11-08 01:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
