On linear ordering finitely-branching graphs and non-well-founded sets

Авторы: Lisitsa A. P., Sazonov V. Yu.
Год: 1997
Тип публикации: В Трудах Конференции
Название книги: Proc. of the 4th International Symp. "Logical Foundations of Computer Science", LNCS
Том: 1234
Страницы: 178-188
Издательство: Springer
BibTex: