Login / Signup
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.
Amaldev Manuel
Thomas Schwentick
Thomas Zeume
Published in:
CoRR (2013)
Keyphrases
</>
logic programming
image segmentation