If you made any changes in Pure these will be visible here soon.

Research Output 1979 2020

Filter
Editorial
2019

Symbolic computation and satisfiability checking

Davenport, J. H., England, M., Griggio, A., Sturm, T. & Tinelli, C., 26 Jul 2019, In : Journal of Symbolic Computation.

Research output: Contribution to journalEditorial