decidable
- Ejemplos
Él investigó la undecidability de la teoría elemental de grupos lineales clásicos y demostró que la clase de álgebras localmente libre decidable tenía una teoría. | He investigated the undecidability of the elementary theory of classical linear groups and proved that the class of locally free algebras had a decidable theory. |
Palabra al azar
¡Tirar los dados y aprender una palabra nueva ahora!
¿Quieres aprender inglés?
¡Aprende inglés gratis!
