Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by A. Aiken
Decidability of Systems of Set Constraints With Negative Constraints
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Optimal Loop Parallelization
ACM SIGPLAN Notices