Sorin Stratulat. Noetherian Induction for Computer-Assisted First-Order Reasoning. (Récurrence noethérienne pour le raisonnement de premier ordre et assisté par l'ordinateur). 2021. [doi]
@book{Stratulat21,
title = {Noetherian Induction for Computer-Assisted First-Order Reasoning. (Récurrence noethérienne pour le raisonnement de premier ordre et assisté par l'ordinateur)},
author = {Sorin Stratulat},
year = {2021},
url = {https://tel.archives-ouvertes.fr/tel-03286314},
researchr = {https://researchr.org/publication/Stratulat21},
cites = {0},
citedby = {0},
}