Alejandro L. Grosso

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Logical Representation

Top Venues

Conceptual Modelling and Its Theoretical Foundations

Publications

Alejandro L. Grosso, José M. Turull Torres
SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy. Conceptual Modelling and Its Theoretical Foundations (2012)
Flavio Antonio Ferrarotti, Alejandro L. Grosso, Jose Maria Turull Torres
Semantic Restrictions over Second-Order Logic. SDKB (2011)
Alejandro L. Grosso, Jose Maria Turull Torres
A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types. SCCC (2010)