Title
An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation.
Year
Venue
Field
2018
CSL
Discrete mathematics,Algebraic number,Algebra,Computer science
DocType
Citations 
PageRank 
Conference
1
0.37
References 
Authors
0
4
Name
Order
Citations
PageRank
Andreas Krebs1218.20
Kamal Lodaya222519.53
Paritosh K. Pandya394491.64
Howard Straubing452860.92