Àngel J. Gil
Affiliations: Universitat Pompeu Fabra, Barcelona, Spain
According to our database^{1},
Àngel J. Gil
authored at least 9 papers
between 1997 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on econ.upf.edu
On csauthors.net:
Bibliography
2013
On Gentzen Relations Associated with Finitevalued Logics Preserving Degrees of Truth.
Stud Logica, 2013
2012
J. Log. Comput., 2012
2008
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains.
SIAM J. Comput., 2008
2006
Equivalential Gentzen systems and the reduced matrices of the Gentzen systems associated with finitely valued logics.
Reports Math. Log., 2006
Arch. Math. Log., 2006
2004
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract.
Proceedings of the Automated Reasoning  Second International Joint Conference, 2004
2000
Stud Logica, 2000
1999
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.
J. Appl. Non Class. Logics, 1999
1997
J. Log. Comput., 1997