Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]
Facundo Matias Carreiro年:
2015
出版社:
University of Amsterdam
语言:
english
页:
270
ISBN 10:
9064649197
ISBN 13:
9789064649196
系列:
ILLC Dissertation Series DS-2015-05
文件:
PDF, 2.06 MB
IPFS:
,
english, 2015