dblp.uni-trier.dewww.uni-trier.de

Àngel J. Gil

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEÀ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
5EEJosep 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
4EEÀ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

1Josep Maria Font [5]
2Miki Hermann [4] [6]
3Jordi Rebagliato [2] [3]
4Gernot Salzer [4] [6]
5Antoni Torrens [1] [5]
6Ventura Verdú [1] [2] [5]
7Bruno Zanuttini [4] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)