Вы здесь

Главная

неразрешимость

Связанные издания:

A Useful Undecidable Theory
CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics
Theory and Applications of Models of Computation: Proc./6th Annual Conference, TAMC 2009, Changsha, China, May 2009
The undecidability of propositional temporal logic for Petri nets
The undecidable
Undecidable Problems About Timed Automata
Неразрешимость проблемы полноты в теории автоматов
Об одной алгоритмически неразрешимой проблеме, связанной с разностными уравнениями с параметрами
Степени неразрешимости проблемы тождества для конечно-определённых групп