default search action

combined dblp search
author search
venue search
publication search

ask others

Alain Hui-Bon-Hoa

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1995
[c6]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/slp/Hui-Bon-Hoa95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/Hui-Bon-Hoa95
Alain Hui-Bon-Hoa:
Clause-based proofs for hereditary Harrop formulas. ILPS 1995: 179-193
1994
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/agp/MartelliMPH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/MartelliMPH94
Maurizio Martelli, Alessandro Messora, Catuscia Palamidessi, Alain Hui-Bon-Hoa:
Fixpoint Semantics of L lambda. GULP-PRODE (1) 1994: 187-201
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/Hui-Bon-Hoa94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/Hui-Bon-Hoa94
Alain Hui-Bon-Hoa:
Intuitionistic Implication and Resolution. ILPS 1994: 409-423
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tacs/Hoa94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacs/Hoa94
Alain Hui-Bon-Hoa:
Intuitionistic Resolution for a Logic Programming Language with Scoping Constructs. TACS 1994: 121-140
1993
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/slp/Hui-Bon-Hoa93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/Hui-Bon-Hoa93
Alain Hui-Bon-Hoa:
An Intuitionistic Resolution Method for a Language Dealing with Scope Constraints. ILPS 1993: 667
1992
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/Hoa92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/Hoa92
Alain Hui-Bon-Hoa:
A Bottom-Up Interpreter for a Higher-Order Logic Programming Language. PLILP 1992: 326-340

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.