Churn‐Jung Liau
- Many-Valued Coalgebraic Modal Logic: One-step Completeness and Finite Model Property
2020/12/10 by Chun-Yu Lin, Lin, Chun-Yu, Churn‐Jung Liau +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies