| 1995 |
|---|
| 6 | | Alain Hui-Bon-Hoa:
Clause-based proofs for hereditary Harrop formulas.
ILPS 1995: 179-193 |
| 1994 |
|---|
| 5 | | Maurizio Martelli,
Alessandro Messora,
Catuscia Palamidessi,
Alain Hui-Bon-Hoa:
Fixpoint Semantics of L lambda.
GULP-PRODE (1) 1994: 187-201 |
| 4 | | Alain Hui-Bon-Hoa:
Intuitionistic Implication and Resolution.
SLP 1994: 409-423 |
| 3 | | Alain Hui-Bon-Hoa:
Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs.
TACS 1994: 121-140 |
| 1993 |
|---|
| 2 | | Alain Hui-Bon-Hoa:
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints.
ILPS 1993: 667 |
| 1992 |
|---|
| 1 | | Alain Hui-Bon-Hoa:
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language.
PLILP 1992: 326-340 |
