Back to search
A method for overlapping and erasure of lists
Data up to Jan 2025
Published1960
Citations313
References5
Total Citations Per Year
Abstract
References (5)
A Decision Method for Elementary Algebra and Geometry
1998 • 1,722 citations
Recursive functions of symbolic expressions and their computation by machine, Part I
1960 • 1,326 citations
A Decision Method for Elementary Algebra and Geometry
1951 • 1,164 citations
Recursive Functions of Symbolic Expressions and Their Computation by Machine (1960)
2021 • 561 citations
A Fortran-Compiled List-Processing Language
1960 • 61 citations
Cited By (0)
Loading...