The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs.评价结果

评估详情

4