most citedComplete two-loop correction to the bound-electron g factor

151 citations

researchers with a paper here
collaborating institutions
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2005

Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan

Global SLS-resolution is a well-known procedural semantics for top-down computation of queries under the well-founded model. It inherits from SLDNF-resolution the {\em linearity} p…