Jose Maria Turull Torres
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2006
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CSL | Complete Problems for Higher Order Logics. | Lauri Hella, Jose Maria Turull Torres |
| 2005 | EJC | Fixed-Point Quantifiers in Higher Order Logics. | Klaus-Dieter Schewe, Jose Maria Turull Torres |
| 2004 | ADC | On the Computation of Approximations of Database Queries. | Flavio Antonio Ferrarotti, Jose Maria Turull Torres |
| 1999 | ADBIS | Reflective Relational Machines of Bounded Variable Complexity. | Jose Maria Turull Torres |
| 1998 | ADBIS | Untyped Queries, Untyped Reflective Machines and Conditional Quantifiers. | Jose Maria Turull Torres |