Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ricardo Caferra
Linear Temporal Logic and Propositional Schemata, Back and Forth
Combining Enumeration and Deductive Techniques in Order to Increase the Class of Constructible Infinite Models
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
