مقالات بحثية تمّ التفويض بإتاحتها للجميع - Dana Scottمزيد من المعلومات
عدد المقالات البحثية المتاحة للجميع في موقع ما: 3
Automating free logic in HOL, with an experimental application in category theory
C Benzmüller, DS Scott
Journal of Automated Reasoning 64 (1), 53-72, 2020
التفويضات: German Research Foundation, Volkswagen Foundation
Boolean-valued semantics for the stochastic λ-calculus
G Bacci, R Furber, D Kozen, R Mardare, P Panangaden, D Scott
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
التفويضات: US National Science Foundation, Natural Sciences and Engineering Research …
Can modalities save naive set theory?
P Fritz, H Lederman, T Liu, D Scott
The Review of Symbolic Logic 11 (1), 21-47, 2018
التفويضات: US National Science Foundation
يتم تحديد معلومات التمويل والنشر من خلال برنامج كمبيوتر تلقائيًا.