Scopul nostru este sprijinirea şi promovarea cercetării ştiinţifice şi facilitarea comunicării între cercetătorii români din întreaga lume.
Domenii publicaţii > Matematica + Tipuri publicaţii > Articol în revistã ştiinţificã
Autori: Mihai Prunescu
Editorial: Wiley Verlag Berlin, Mathematical Logic Quarterly, 47, p.557-561, 2001.
Rezumat:
General connections between quantifier elimination and decidability for first order theories are studied and exemplified.
Cuvinte cheie: Quantifier elimination, decidability