New Mexico State University
Desconocido
MOSAIC: Modalities in Substructural Logics Theory Methods and Applications
The Regents of New Mexico State University
participó en un
H2020:
H2020-MSCA-RISE-2020
Modal logics are a family of formal systems based on classical logic which aim at improving the expressive power of the classical calculus a...
2020-11-09 - 2026-04-30 | Financiado
2020-11-09 - 2026-04-30 | Financiado
SYSMICS: Syntax Meets Semantics Methods Interactions and Connections in Substructural logics.
The Regents of New Mexico State University
participó en un
H2020:
H2020-MSCA-RISE-2015
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus....
2015-11-30 - 2019-02-28 | Financiado
2015-11-30 - 2019-02-28 | Financiado
HYDROFRAC: Enhancing hydraulic fracturing on the basis of numerical simulation of coupled geomechanical hydrod...
The Regents of New Mexico State University
participó en un
FP7:
The project aims to enhance the hydraulic fracturing techniques for increasing productivity of oil and gas reservoirs. The objective will be...
Financiado
Financiado
* No se disponen de datos de la empresa actual.