权威例句
Mona: Monadic Second-Order Logic in Practice
The monadic second-order logic of graphs X: Linear orderings ☆
The Monadic Second-Order Logic of Graphs: Definable Sets of Finite Graphs
The monadic second-order logic of graphs : Definable sets of finite graphs
The monadic second-order logic of graphs, II: Infinite graphs of bounded width
The monadic second-order logic of graphs. I. recognizable sets of finite graphs
The complexity of first-order and monadic second-order logic revisited
The expression of graph properties and graph transformations in monadic second-order logic
The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory
On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic
