COMPLETE AND TRACTABLE MACHINE-INDEPENDENT CHARACTERIZATIONS OF SECOND-ORDER POLYTIME.
Saved in:
| Title: | COMPLETE AND TRACTABLE MACHINE-INDEPENDENT CHARACTERIZATIONS OF SECOND-ORDER POLYTIME. |
|---|---|
| Authors: | HAINRY, EMMANUEL1, emmanuel.hainry@loria.fr, KAPRON, BRUCE M.2, bmkapron@uvic.ca, MARION, JEAN-YVES1, jean-yves.marion@loria.fr, PÉCHOUX, ROMAIN1, romain.pechoux@loria.fr |
| Source: | Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-30, 30p |
| Database: | Applied Science & Technology Source |
| ISSN: | 18605974 |
|---|---|
| DOI: | 10.46298/LMCS-21(15)2025 |
