vix.ing · top · new · best · stats · spec

Churn‐Jung Liau

  1. 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