H. Khanh Hoang

Publication Activity (10 Years)

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

Publications

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