Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Enrica Nicolini
Decision Procedures for Extensions of the Theory of Arrays
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
