Carlos E. Ortiz

According to our database, Carlos E. Ortiz authored at least 8 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

On Flows of Neural Ordinary Differential Equations That Are Solutions of Lotka-Volterra Dynamical Systems.

Argimiro Arratia, Carlos E. Ortiz, Marcel Romaní

Proceedings of the Artificial Intelligence Research and Development, 2022

2017

Methods of class field theory to separate logics over finite residue classes and circuit complexity.

Argimiro Arratia, Carlos E. Ortiz

J. Log. Comput., 2017

2013

First Order Extensions of Residue Classes and Uniform Circuit Complexity.

Argimiro Arratia, Carlos E. Ortiz

Proceedings of the Logic, Language, Information, and Computation, 2013

2009

Approximate formulae for a logic that capture classes of computational complexity.

Argimiro Arratia, Carlos E. Ortiz

Log. J. IGPL, 2009

2006

Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets.

Argimiro Arratia, Carlos E. Ortiz

J. Log. Comput., 2006

On a syntactic approximation to logics that capture complexity classes

Argimiro Arratia, Carlos E. Ortiz

Electron. Colloquium Comput. Complex., 2006

Counting Proportions of Sets: Expressive Power with Almost Order.

Argimiro Arratia, Carlos E. Ortiz

Proceedings of the LATIN 2006: Theoretical Informatics, 2006

2004

Approximating the Expressive Power of Logics in Finite Models.

Argimiro Arratia, Carlos E. Ortiz

Proceedings of the LATIN 2004: Theoretical Informatics, 2004