Proceedings/Recueil Des Communications
CEUR Workshop Proceedings
Année : 2023
Thomas Sturm : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04307435
Soumis le : dimanche 26 novembre 2023-08:43:52
Dernière modification le : mercredi 24 juillet 2024-10:30:03
Dates et versions
Licence
Identifiants
- HAL Id : hal-04307435 , version 1
Citer
Erika Ábrahám, Thomas Sturm. Satisfiability Checking and Symbolic Computation 2023: Proceedings of the 8th SC-Square Workshop, co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). CEUR Workshop Proceedings, 3455, 2023. ⟨hal-04307435⟩
26
Consultations
0
Téléchargements