The following pages link to Churn-Jung Liau (Q209454):
Displaying 5 items.
- Data and Applications Security XIX (Q5897463) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900652) (← links)
- A logical analysis of the relationship between commitment and obligation (Q5946342) (← links)
- Many-valued coalgebraic modal logic: one-step completeness and finite model property (Q6588974) (← links)
- On the Logical and Algebraic Aspects of Reasoning with Formal Contexts (Q6737008) (← links)