Àngel J. Gil

	2009
7		Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú: Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19(6): 1031-1069 (2009)
	2008
6		À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		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		À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)

Coauthor Index

1	Félix Bou	[7]
2	Francesc Esteva	[7]
3	Josep Maria Font	[5] [7]
4	Lluis Godo	[7]
5	Miki Hermann	[4] [6]
6	Jordi Rebagliato	[2] [3]
7	Gernot Salzer	[4] [6]
8	Antoni Torrens	[1] [5] [7]
9	Ventura Verdú	[1] [2] [5] [7]
10	Bruno Zanuttini	[4] [6]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page