The following pages link to Qingliang Chen (Q866175):
Displaying 7 items.
- Knowledge structure approach to verification of authentication protocols (Q866176) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- Quantified Coalition Logic of Knowledge, Belief and Certainty (Q3305131) (← links)
- Primitive Recursiveness of Real Numbers under Different Representations (Q4921448) (← links)
- Primitive recursive real numbers (Q5307606) (← links)
- (Q5498007) (← links)
