Existential second−order logic over graphs: Charting the tractability frontier
Main Authors: | , , |
---|---|
Format: | Journal article |
Published: |
2004
|
Search Result 1
Existential Second−Order Logic over Graphs: Charting the Tractability Frontier
Published 2000
Conference item