636 followers
Fontaine, P.-Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction,... https://t.co/XtdyQk15al #OA
Fontaine, P.-Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction,... https://t.co/XtdyQk15al #OA
Towards Physical Hybrid Systems https://t.co/qpFwhZjHUw
"Towards Physical Hybrid Systems. (arXiv:1905.09520v2 [cs.LO] UPDATED)" #arXiv https://t.co/pmKg5FGhHZ