R. Hindley. The equivalence of complete reductions. Transactions of the American Mathematical Society, 229:227--248, 1977. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Semidefinite Representations for Finite Varieties - Laurent (2003) (Correct)
Four Equivalent Equivalences of Reductions - van Oostrom, de Vrijer (2002) (Correct)
A Semidefinite Representation for some Minimum Cardinality.. - d'Aspremont (2003) (Correct)
On the Capacity of Mobile Ad hoc Networks with Delay.. - Cristina Comaniciu And (2002) (3 citations) (Correct)
Supersymmetry and Brownian motion on supermanifolds - Rogers (Correct)
Mixing Properties of the Swendsen-Wang Process on the.. - Colin Cooper Martin (2000) (2 citations) (Correct)
A Comparison of the Sherali-Adams, Lovász-Schrijver and Lasserre.. - Laurent (2001) (Correct)
Solving Bit-Vector Equations of Fixed and Non-Fixed Size - Möller, Rueß (Correct)
A Comparison of the Sherali-Adams, Lovász-Schrijver and Lasserre.. - Laurent (2001) (Correct)
Ramseyan Ultrafilters - Halbeisen (Correct)
Straightening Polygonal Arcs and Convexifying Polygonal Cycles - Connelly, Demaine, Rote (2001) (6 citations) (Correct)
Straightening Polygonal Arcs and Convexifying Polygonal Cycles - Connelly, Demaine, Rote (2001) (6 citations) (Correct)
Simultaneous Rigid E-Unification and Related Algorithmic.. - Degtyarev, Matiyasevich, .. (1996) (Correct)
Solving Bit-Vector Equations - Möller, Rueß (1998) (Correct)
Finite Family Developments - van Oostrom (1997) (2 citations) (Correct)
Basic Polymorphic Typechecking - Cardelli (1988) (56 citations) (Correct)
Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
Perpetual Reductions in λ-Calculus - van Raamsdonk, Severi.. (1999) (6 citations) (Correct)
Conditions for the Completeness of Functional and.. - Riecke, Subrahmanyam (1997) (Correct)
Comparing Combinatory Reduction Systems and.. - van Oostrom, van.. (1993) (6 citations) (Correct)
Descendants and Origins in Term Rewriting - Bethke, Klop, de Vrijer (1999) (Correct)
Converging Semidefinite Bounds for Global Unconstrained.. - Jibetean, Laurent (2004) (Correct)
Introductory Course on Relation Algebras, Finite-Dimensional.. - Maddux (1990) (2 citations) (Correct)
A Harmonic Analysis Solution to the Static Basket Arbitrage.. - d'Aspremont (2003) Self-citation (Problem) (Correct)
The Zeros of Random Polynomials: Further Results and.. - Schober, Gerstacker Self-citation (Polynomials) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC