Abstract: We prove a characterization of all polynomial-time computable queries on the class of interval graphs by sentences of fixed-point logic with counting. More precisely, it is shown that on the ...
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する