HILBERT’S TENTH PROBLEM IN COQ (EXTENDED VERSION).
Saved in:
| Title: | HILBERT’S TENTH PROBLEM IN COQ (EXTENDED VERSION). |
|---|---|
| Authors: | LARCHEY-WENDLING, DOMINIQUE1, dominique.larchey-wendling@loria.fr, FORSTER, YANNICK2, forster@cs.uni-saarland.de |
| Source: | Logical Methods in Computer Science (LMCS); 2022, Vol. 18 Issue 1, p1-41, 41p, 3 Diagrams |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-18(1:35)2022 |
