Alejandro L. Grosso

According to our database, Alejandro L. Grosso authored at least 3 papers between 2010 and 2012.

Collaborative distances:

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

2012

SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy.

Alejandro L. Grosso, José M. Turull Torres

Proceedings of the Conceptual Modelling and Its Theoretical Foundations, 2012

2011

Semantic Restrictions over Second-Order Logic.

Flavio Antonio Ferrarotti, Alejandro L. Grosso, Jose Maria Turull Torres

Proceedings of the Semantics in Data and Knowledge Bases, 5th International Workshop, 2011

2010

A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types.

Alejandro L. Grosso, Jose Maria Turull Torres

Proceedings of the SCCC 2010, 2010