Search the dblp DataBase

Publications of Author

1. Simone Bova, Franco Montagna
   Proof Search in Hajek's Basic Logic [Citation Graph (0, 0)][DBLP]
   CoRR, 2006, v:0, n:, pp:- [Journal]
   
2. 
   Soft Constraints Processing over Divisible Residuated Lattices. [Citation Graph (, )][DBLP]
   
   
3. 
   Schauder Hats for the Two-Variable Fragment of BL. [Citation Graph (, )][DBLP]
   
   
4. 
   Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. [Citation Graph (, )][DBLP]
   
   
5. 
   k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices [Citation Graph (, )][DBLP]