Alain Hui-Bon-Hoa

Publication Activity (10 Years)

Years Active: 1992-1995
Publications (10 Years): 0

Publications

Alain Hui-Bon-Hoa
Clause-based proofs for hereditary Harrop formulas. ILPS (1995)
Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa
Fixpoint Semantics of L lambda. GULP-PRODE (1) (1994)
Alain Hui-Bon-Hoa
Intuitionistic Implication and Resolution. ILPS (1994)
Alain Hui-Bon-Hoa
Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs. TACS (1994)
Alain Hui-Bon-Hoa
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints. ILPS (1993)
Alain Hui-Bon-Hoa
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. PLILP (1992)