Loop checking and negation [PDF]
The Journal of Logic Programming, 1991 AbstractIn this paper we extend the concept of loop checking from positive programs (as described in [1]) to locally stratified programs. Such an extension is not straightforward: the introduction of negation requires a (re)consideration of the choice of semantics, the description of a related search space, and new soundness and completeness results ...
openaire +2 more sources
Two loop detection mechanisms: a comparison [PDF]
, 1997 In order to compare two loop detection mechanisms we describe two calculi for theorem proving in intuitionistic propositional logic. We call them both MJ Hist, and distinguish between them by description as `Swiss' or `Scottish'. These calculi combine in
Howe, J. M. +3 more
core +1 more source
Überblick Bundestag Jugend-Check zum Entwurf eines Haushaltsfinanzierungsgesetzes (Kabinettsbefassung: 16.08.2023) [PDF]
, 2023 Der „Überblick Bundestag“ wird bei Jugend-Checks erstellt, bei welchen der Gesetzentwurf in der Kabinettsfassung vorliegt. Das bedeutet, dass dieser Gesetzentwurf in der vorliegenden Fassung im Bundestag diskutiert werden wird.
Kompetenzzentrum Jugend-Check
core
Termination of derivations for minimal tense logic
Lietuvos Matematikos Rinkinys, 2009 It is known that loop checking and backtracking are extensively used in various non-classical logics. An efficient loop checking is obtained using a technique based on histories.
Regimantas Pliuškevičius
doaj +1 more source
One loop mass renormalization of massive states using pure spinor formalism
Journal of High Energy Physics, 2023 As a check of the first massive integrated vertex operator in the pure spinor formalism constructed in arXiv:1802.04486 , we compute the one loop 2-point function of the stable non BPS massive states in SO(32) heterotic string theory.
Sitender Pratap Kashyap, Mritunjay Verma
doaj +1 more source
Loop-checking and the uniform word problem for join-semilattices with an inflationary endomorphism
Theoretical Computer Science, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bezem, Marc, Coquand, Thierry
openaire +3 more sources
Überblick Bundestag Jugend-Check zum Entwurf eines Gesetzes zur Modernisierung des Tabaksteuerrechts (Tabaksteuermodernisierungsgesetz –TabStMoG) (Kabinettsbefassung: 24.03.2021) [PDF]
, 2021 Der „Überblick Bundestag“ wird bei Jugend-Checks erstellt, bei welchen der Gesetzentwurf in der Kabinettsfassung vorliegt. Das bedeutet, dass dieser Gesetzentwurf in der vorliegenden Fassung im Bundestag diskutiert werden wird.
Kompetenzzentrum Jugend-Check
core
Method of marks for propositional linear temporal logic
Lietuvos Matematikos Rinkinys, 2014 It is known that traditional techniques used to ensure termination of a decision procedure in non-classical logics are based on loop-checking, in general.
Regimantas Pliuškevičius
doaj +1 more source
The l-loop banana amplitude from GKZ systems and relative Calabi-Yau periods
Journal of High Energy Physics, 2020 We use the GKZ description of periods and certain classes of relative periods on families of Barth-Nieto Calabi-Yau (l − 1)-folds in order to solve the l-loop banana amplitudes with their general mass dependence.
Albrecht Klemm +2 more
doaj +1 more source
Full-color three-loop three-point form factors in 𝒩 = 4 SYM
Journal of High Energy Physics, 2022 We present the detailed computation of full-color three-loop three-point form factors of both the stress-tensor supermultiplet and a length-three BPS operator in 𝒩 = 4 SYM.
Guanda Lin, Gang Yang, Siyuan Zhang
doaj +1 more source