التفاصيل البيبلوغرافية
العنوان: |
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation |
المؤلفون: |
Komorida, Yuichi, Katsumata, Shin-ya, Kupke, Clemens, Rot, Jurriaan, Hasuo, Ichiro |
المصدر: |
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2021 36th Annual ACM/IEEE Symposium on. :1-14 Jun, 2021 |
Relation: |
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
قاعدة البيانات: |
IEEE Xplore Digital Library |