Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
Elementary recursive quantifier elimination based on Thom encoding and sign determination
XX
BSO - Titre
Elementary recursive quantifier elimination based on Thom encoding and sign determination
XX
DOI
DOI
10.1016/j.apal.2017.03.001
XX
DOAI
DOAI
10.1016/j.apal.2017.03.001
XX
Identifiant WoS
WOS:000402353900007
XX
Accès ouvert
OA - Oui
XX
Source - Accès ouvert
OA - Non
XX
Type d'accès
Archive
XX
Editeur
Elsevier
XX
Source
ANNALS OF PURE AND APPLIED LOGIC
XX
ISSN
0168-0072
XX
Type de document
Article
XX
Notoriété
5 - Exceptionnelle
XX
CNRS
Oui
XX
CNRS - Institut
INSMI - Institut national des sciences mathématiques et de leurs interactions
XX
uid:/X26J5WL8
12/10/2021 14:52:43 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
