Expressive Equivalence of Least and Inflationary Fixed−Point Logic

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: Kreutzer, S
Формат: Conference item
Хэвлэсэн: 2002