40 citations · 96 across the 32 of their papers we have counts for
Showing 2013 · cs.LOShow all
2 papers · 2 filters
cs.LO2013★ 11 cited
Connection Matrices and the Definability of Graph Parameters
Tomer Kotek, Johann A. Makowsky
In this paper we extend and prove in detail the Finite Rank Theorem for connection matrices of graph parameters definable in Monadic Second Order Logic with counting (CMSOL) from B…
cs.LO2013★ 11 cited
Weighted Automata and Monadic Second Order Logic
Nadia Labai, Johann A. Makowsky
Let S be a commutative semiring. M. Droste and P. Gastin have introduced in 2005 weighted monadic second order logic WMSOL with weights in S. They use a syntactic fragment RMSOL of…