قطعاتی از Fixpoint Logics. خودکار و بیان [پایان نامه دکتری]
Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]
نویسنده: Facundo Matias Carreiro
ناشر: University of Amsterdam
سال انتشار: 2015
تعداد صفحات: 270
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت