research
∙
03/29/2018
Capturing Polynomial Time using Modular Decomposition
The question of whether there is a logic that captures polynomial time i...
research
∙
02/28/2018
Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs
We show that the class of chordal claw-free graphs admits LREC=-definabl...
research
∙
04/26/2011