H. Khanh Hoang

According to our database¹, H. Khanh Hoang authored at least 4 papers between 1995 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct.

[BibT_eX]

[DOI]

Inf. Comput., 1998

Choice Construct and Lindström Logics.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 12th International Workshop, 1998

1996

A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct.

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

1995

On Relations between the Dynamic Choice Constructs and the Stable Semantics.

[BibT_eX]

Proceedings of the Onzièmes Journées Bases de Données Avancées, 29 Août, 1995