output
20022014
most citedIndication of Electron Neutrino Appearance from an Accelerator-produced Off-axis Muon Neutrino Beam

1.4k citations

collaborating institutions
Showing 2008 · cs.LOShow all

1 paper · 2 filters

cs.LO2008

Automated Termination Proofs for Logic Programs by Term Rewriting

P. Schneider-Kamp, J. Giesl, A. Serebrenik +1

There are two kinds of approaches for termination analysis of logic programs: "transformational" and "direct" ones. Direct approaches prove termination directly on the basis of the…