Weak Cost Automata over Infinite Trees

Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Boom, M
Ձևաչափ: Թեզիս
Հրապարակվել է: 2012