Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic.评价结果

评估详情