Personensuche
X
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
2
Embedded Finite Models beyond Restricted Quantifier Collaps:
, In:
?
Jerusalem Studies in Philosophy and History of Science; Quantum, Probability, Logic ,
6
On the Descriptive Power of Probability Logic:
, In:
?
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
Polynomial Invariants for Affine Programs:
, In:
?
11
Non-archimedean tame topology and stably dominated types
Annals of mathematics studies, number 192