Statistics
Publications
2
Citations
71
H-Index
2
Active since
1983
Affiliations
New York University(Current)
Vincent J. Digricoli is an author at New York University specializing in theory of computation, resolutions, and predicate logic.
Publications per year
1983–1986
2
2
Equality-based binary resolution
Vincent J. Digricoli, Malcolm C. Harrison · Journal of the ACM · 1986 · 42 citations · Full text
Resolution by unification and equality
Vincent J. Digricoli · 1983 · 29 citations
1–2 of 2