Alain Hui-Bon-Hoa

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1995
Clause-based proofs for hereditary Harrop formulas.
Proceedings of the Logic Programming, 1995

1994
Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Intuitionistic Implication and Resolution.
Proceedings of the Logic Programming, 1994

Fixpoint Semantics of L lambda.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints.
Proceedings of the Logic Programming, 1993

1992
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language.
Proceedings of the Programming Language Implementation and Logic Programming, 1992


  Loading...