作者:Marcella Anselmo,Gianluca Della Vedova,Florin Manea,Arno Pauly
主题词:Computer Science,Theory of Computation,Mathematical Logic and Formal Languages,Algorithm Analysis and Problem Complexity,Mathematics of Computing,Information Systems and Communication Service