 | 2009 |
|---|
| 8 |       | Dusan Guller:
On the refutational completeness of signed binary resolution and hyperresolution.
Fuzzy Sets and Systems 160(8): 1162-1176 (2009) |
| 2008 |
|---|
| 7 | | Dusan Guller:
Binary resolution over complete residuated Stone lattices.
Fuzzy Sets and Systems 159(9): 1031-1041 (2008) |
| 2006 |
|---|
| 6 | | Dusan Guller:
Binary resolution over Boolean lattices.
Fuzzy Sets and Systems 157(15): 2100-2127 (2006) |
| 5 | | Dusan Guller:
Erratum to "Binary resolution over Boolean lattices": [Fuzzy Sets and Systems 157 (2006) 2100-2127].
Fuzzy Sets and Systems 157(18): 2540 (2006) |
| 2004 |
|---|
| 4 | | Dusan Guller:
Procedural Semantics for Fuzzy Disjunctive Programs on Residuated Lattices.
LATIN 2004: 519-529 |
| 2002 |
|---|
| 3 | | Dusan Guller:
Semantics for fuzzy disjunctive programs with similarity.
AMAI 2002 |
| 2 | | Dusan Guller:
Procedural Semantics for Fuzzy Disjunctive Programs.
LPAR 2002: 247-261 |
| 2001 |
|---|
| 1 |  | Dusan Guller:
Semantics for Fuzzy Disjunctive Programs with Weak Similarity.
HIS 2001: 285-299 |
