Венцов, Ю.Г.. "Алгоритмические свойства ветвящихся моделей.." Algebra i Logika 25.4 (1986): 369-383. <http://eudml.org/doc/187355>.
@article{Венцов1986, author = {Венцов, Ю.Г.}, journal = {Algebra i Logika}, keywords = {branching properties of models}, language = {rus}, number = {4}, pages = {369-383}, publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki}, title = {Алгоритмические свойства ветвящихся моделей.}, url = {http://eudml.org/doc/187355}, volume = {25}, year = {1986}, }
TY - JOUR AU - Венцов, Ю.Г. TI - Алгоритмические свойства ветвящихся моделей. JO - Algebra i Logika PY - 1986 PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki VL - 25 IS - 4 SP - 369 EP - 383 LA - rus KW - branching properties of models UR - http://eudml.org/doc/187355 ER -