445 citations
- Brookhaven National LaboratoryUS4 papers
- Indiana University BloomingtonUS4 papers
- Boston UniversityUS3 papers
- California State University, Dominguez HillsUS3 papers
- Chonnam National UniversityKR3 papers
- Duke UniversityUS3 papers
- Gifu UniversityJP3 papers
- High Energy Accelerator Research OrganizationJP3 papers
- Institute for Cosmic Ray ResearchJP3 papers
- Kobe UniversityJP3 papers
- Kyoto UniversityJP3 papers
- Los Alamos National LaboratoryUS3 papers
Showing 2003Show all
2 papers · 1 filter
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…