Carlos E. P. Ortiz

From MaRDI portal
Person:2192794



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Data-space inversion with ensemble smoother
Computational Geosciences
2020-08-18Paper
Methods of class field theory to separate logics over finite residue classes and circuit complexity
Journal Of Logic And Computation
2018-02-13Paper
First order extensions of residue classes and uniform circuit complexity
Logic, Language, Information, and Computation
2013-09-17Paper
Thermodynamic consistency in deriving lattice Boltzmann models for describing segregation in non-ideal mixtures
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
2011-11-03Paper
LATIN 2004: Theoretical Informatics
Lecture Notes in Computer Science
2009-05-07Paper
Approximate formulae for a logic that capture classes of computational complexity
Logic Journal of the IGPL
2009-03-11Paper
Counting Proportions of Sets: Expressive Power with Almost Order
LATIN 2006: Theoretical Informatics
2008-09-18Paper
Expressive Power and Complexity of a Logic with Quantifiers that Count Proportions of Sets
Journal Of Logic And Computation
2007-04-13Paper
scientific article; zbMATH DE number 2115892 (Why is no real title available?)2004-11-16Paper
scientific article; zbMATH DE number 922577 (Why is no real title available?)1998-11-22Paper


Research outcomes over time


This page was built for person: Carlos E. P. Ortiz