| 1998 |
|---|
| 4 | | H. Khanh Hoang:
Choice Construct and Lindström Logics.
CSL 1998: 105-125 |
| 3 | | Françoise Gire,
H. Khanh Hoang:
An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct.
Inf. Comput. 144(1): 40-65 (1998) |
| 1996 |
|---|
| 2 | | Françoise Gire,
H. Khanh Hoang:
A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct.
Logic in Databases 1996: 475-495 |
| 1995 |
|---|
| 1 | | Françoise Gire,
H. Khanh Hoang:
On Relations between the Dynamic Choice Constructs and the Stable Semantics.
BDA 1995: 283-302 |
