On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories

D. Ponomaryov

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

Fingerprint

Подробные сведения о темах исследования «On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Математика