Alain Hui-Bon-Hoa

According to our database, Alain Hui-Bon-Hoa authored at least 6 papers between 1992 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Clause-based proofs for hereditary Harrop formulas.

Alain Hui-Bon-Hoa

Proceedings of the Logic Programming, 1995

1994

Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs.

Alain Hui-Bon-Hoa

Proceedings of the Theoretical Aspects of Computer Software, 1994

Intuitionistic Implication and Resolution.

Alain Hui-Bon-Hoa

Proceedings of the Logic Programming, 1994

Fixpoint Semantics of L lambda.

Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints.

Alain Hui-Bon-Hoa

Proceedings of the Logic Programming, 1993

1992

A Bottom-Up Interpreter for a Higher-Order Logic Programming Language.

Alain Hui-Bon-Hoa

Proceedings of the Programming Language Implementation and Logic Programming, 1992