التفاصيل البيبلوغرافية
| العنوان: |
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 |
