Skip to main navigation
Skip to search
Skip to main content
The Hebrew University of Jerusalem Home
Approve / Request updates on publications
Home
Profiles
Research units
Research output
Prizes
Search by expertise, name or affiliation
Argument reduction by factoring
J. F. Naughton
*
, R. Ramakrishnan
,
Y. Sagiv
, J. D. Ullman
*
Corresponding author for this work
The Rachel and Selim Benin School of Engineering and Computer Science
Research output
:
Contribution to conference
›
Paper
›
peer-review
24
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Argument reduction by factoring'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Argument Reduction
100%
Magic-Set Transformation
100%
Recursion
66%
Algorithm Evaluation
33%
Large Classes
33%
Undecidable
33%
Algorithm Strategy
33%
Arity
33%
Factorability
33%
Linear Recursion
33%
Magic Sets
33%
Rewriting Strategies
33%
Mathematics
Argument Reduction
100%
Computer Science
Argument Reduction
100%