| 2008 |
|---|
| 6 | EE | Àngel J. Gil,
Miki Hermann,
Gernot Salzer,
Bruno Zanuttini:
Efficient Algorithms for Description Problems over Finite Totally Ordered Domains.
SIAM J. Comput. 38(3): 922-945 (2008) |
| 2006 |
|---|
| 5 | EE | Josep Maria Font,
Àngel J. Gil,
Antoni Torrens,
Ventura Verdú:
On the infinite-valued Lukasiewicz logic that preserves degrees of truth.
Arch. Math. Log. 45(7): 839-868 (2006) |
| 2004 |
|---|
| 4 | EE | Àngel J. Gil,
Miki Hermann,
Gernot Salzer,
Bruno Zanuttini:
Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract.
IJCAR 2004: 244-258 |
| 2000 |
|---|
| 3 | | Àngel J. Gil,
Jordi Rebagliato:
Protoalgebraic Gentzen Systems and the Cut Rule.
Studia Logica 65(1): 53-89 (2000) |
| 1999 |
|---|
| 2 | | Àngel J. Gil,
Jordi Rebagliato,
Ventura Verdú:
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.
Journal of Applied Non-Classical Logics 9(1): (1999) |
| 1997 |
|---|
| 1 | | Àngel J. Gil,
Antoni Torrens,
Ventura Verdú:
On Gentzen Systems Associated with the Finite Linear MV-Algebras.
J. Log. Comput. 7(4): 473-500 (1997) |
