Volume 17, Number 1, January 1994
: Completeness of Combinations of Conditional Constructor Systems.
: Termination of Term Rewriting: Interpretation and Type Elimination.
Volume 17, Number 2, February 1994
: A New Method for the Boolean Ring Based Theorem Proving.
Volume 17, Number 3, March 1994
: Exact Transversal Hypergraphs and Application to Boolean µ-Functions.
: Fast Computation of Some Asymptotic Functional Inverses.
Volume 17, Number 4, April 1994
Special Issue on "Algorithms:
Implementation, Libraries and Use"
: Complexity, Algorithms, Programs, Systems: The Shifting Focus.
: Evolution of a Software System: Interaction, Interfaces and Applications in the XYZ GeoBench.
Volume 17, Number 5, May 1994
: Fast Construction of Irreducible Polynomials over Finite Fields.
: Regular Path Expressions in Feature Logic.
Volume 17, Number 6, June 1994