شماره ركورد

26681

شماره مدرك

4395520

نويسنده/تنالگان

Facundo Matias Carreiro

عنوان

Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]

اطلاعات نشر

University of Amsterdam

سال نشر

2015

شابك

9789064649196 ; 9789064649196