40 citations · 48 across the 6 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.CY2015★ 3 cited
Teaching Logic for Computer Science: Are We Teaching the Wrong Narrative?
Johann Makowsky
In this paper I discuss what, according to my long experience, every computer scientist should know from logic. We concentrate on issues of modeling, interpretability and levels of…
cs.LO2015
Efficient computation of generalized Ising polynomials on graphs with fixed clique-width
Tomer Kotek, Johann A. Makowsky
Graph polynomials which are definable in Monadic Second Order Logic (MSOL) on the vocabulary of graphs are Fixed-Parameter Tractable (FPT) with respect to clique-width. In contrast…