M. H. A. Newman. On theories with a combinatorial definition of equivalence. Annals of Mathematics, 43(2):223--243, 1942. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Confluence of Typed Attributed Graph Transformation Systems - Heckel, Küster, Taentzer (2002) (6 citations) (Correct)
An operational approach to program extraction in the.. - Fernández, Severi (2002) (1 citation) (Correct)
Persistence in Algebraic Specifications - Wiedijk (1991) (6 citations) (Correct)
Diagram Groups - Guba, Sapir (1996) (Correct)
Non-monotone Fixpoint Iterations to Resolve Second.. - Geser, Knoop.. (1996) (3 citations) (Correct)
Tractable Reasoning in Knowledge Representation Systems - Dalal (1995) (2 citations) (Correct)
Graph Rewrite Systems For Program Optimization - Aßmann (1996) (6 citations) (Correct)
The Calculus of Algebraic and Inductive Constructions - Blanqui (1998) (1 citation) (Correct)
Inductive Data Type Systems - Blanqui, Jouannaud, Okada (1998) (Correct)
Theory and Practice of Constraint Handling Rules - Frühwirth (1998) (52 citations) (Correct)
Semantics Of Non-Terminating Systems Through Term Rewriting - Santos, de Barros (1995) (Correct)
Verification of LOTOS Specifications using Term Rewriting.. - Kirkwood (1994) (Correct)
Confluence without Termination via Parallel Critical Pairs - Gramlich (1996) (3 citations) (Correct)
Non-monotone Fixpoint Iterations to Resolve Second.. - Geser, Knoop.. (1996) (3 citations) (Correct)
Conditional semi-Thue Systems for Presenting Monoids - Deiss (1992) (Correct)
On the Left and Right Cohomological Dimension of Monoids - Guba, Pride (1998) (1 citation) (Correct)
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
The Syntax and Semantics of μCRL - Groote, Ponse (41 citations) (Correct)
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and.. - Thom Fruhwirth.. (Correct)
Active Libraries and Universal Languages - Veldhuizen (2004) (1 citation) (Correct)
Completeness of Combinations of Constructor Systems - Middeldorp, Toyama (1993) (45 citations) (Correct)
Verification of LOTOS Specifications using Term Rewriting.. - Kirkwood (1994) (Correct)
Completeness of Combinations of Conditional Constructor Systems - Middeldorp (1994) (10 citations) (Correct)
Operational Semantics and Confluence of Constraint Propagation.. - Abdennadher (1997) (13 citations) (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