Skip to Main content Skip to Navigation
Directions of work or proceedings

Special Issue : Symbolic Computation and Satisfiability Checking

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03142461
Contributor : Thomas Sturm Connect in order to contact the contributor
Submitted on : Tuesday, February 16, 2021 - 9:18:37 AM
Last modification on : Friday, January 14, 2022 - 2:12:05 PM

Identifiers

  • HAL Id : hal-03142461, version 1

Collections

Citation

James Harold Davenport, Matthew England, Alberto Griggio, Thomas Sturm, Cesare Tinelli. Special Issue : Symbolic Computation and Satisfiability Checking. Journal of Symbolic Computation, 100, Elsevier, 2020. ⟨hal-03142461⟩

Share

Metrics

Les métriques sont temporairement indisponibles