ACM/IEEE Logic in Computer Science, LICS 2016


Article Details
Title: Two-variable Logic with a Between Relation
Article URLs:
Alternative Article URLs:
Authors: Andreas Krebs
  • Universität Tübingen
Kamal Lodaya
  • The Institute of Mathematical Sciences
Paritosh K. Pandya
  • Tata Institute of Fundamental Research
Howard Straubing
  • Boston College
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/lics/KrebsLPS16
Author Comments:

Discuss this paper and its artifacts below