作者:Sergio Tessaris,Enrico Franconi,Thomas Eiter,Claudio Gutierrez,Siegfried Handschuh,Marie-Christine Rousset,Renate A. Schmidt
主题词:Information Systems Applications (incl.Internet),Symbolic and Algebraic Manipulation,Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Mathematics of Computing,Algorithm Analysis and Problem Complexity