7 citations
2 papers
cs.LO2003★ 7 cited
Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
Hudson Turner
Logic programs P and Q are strongly equivalent if, given any program R, programs P union R and Q union R are equivalent (that is, have the same answer sets). Strong equivalence is…
math.AG2003★ 7 cited
Two Proofs of a Conjecture of Hori and Vafa
Aaron Bertram, Ionut Ciocan-Fontanine, Bumsig Kim
We give two proofs of a conjecture of Hori and Vafa which expresses the J-function (i.e, the generating function for 1-point descendant Gromov-Witten invariants) of a Grassmannian…