Travelled to:
1 × Czech Republic
Collaborated with:
∅
Talks about:
lindström (1) construct (1) logic (1) choic (1)
Person: H. Khanh Hoang
DBLP: Hoang:H=_Khanh
Contributed to:
Wrote 1 papers:
- CSL-1998-Hoang #logic
- Choice Construct and Lindström Logics (HKH), pp. 105–125.