Inscriere cercetatori

Site nou !

Daca nu va puteti recupera parola (sau aveti alte probleme), scrieti-ne la pagina de contact. Situl vechi se gaseste la adresa old.ad-astra.ro

Facebook

Non-effective quantifier elimination

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