Loop checks for logic programs with functions
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
openaire +2 more sources
Überblick Bundestag Jugend-Check zum Entwurf eines Gesetzes zur Weiterentwicklung der Gesundheitsversorgung (Gesundheitsversorgungsweiterentwicklungsgesetz – GVWG (Kabinettsbefassung: 16.12.2020) [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
Redundancy Elimination and Loop Checks for Logic Programs
Information and Computation, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
FERRUCCI, Filomena +2 more
openaire +3 more sources
Cut, invariant rule, and loop-check free sequent calculus for PLTL
Lietuvos Matematikos Rinkinys, 2011 In this paper, some loop-check free saturation-like decision procedure is proposed for propositional linear temporal logic (PLTL) with temporal operators “next” and “always”.
Romas Alonderis +1 more
doaj +1 more source
Restrictions for loop-check in sequent calculus for temporal logic with until operator
Lietuvos Matematikos Rinkinys, 2009 In this paper, we present sequent calculus for branching-time temporal logic with until operator. This sequent calculus uses efficient loop-checktechinque.
Adomas Birštunas
doaj +1 more source
Journal of High Energy Physics, 2021 We present a two-loop calculation of the supersymmetric circular Wilson loop in the N $$ \mathcal{N} $$ = 2* super Yang-Mills theory on the four-sphere. We develop an efficient framework for computing contributing Feynman graphs that relies on using the ...
A. V. Belitsky, G. P. Korchemsky
doaj +1 more source
Überblick Bundestag Jugend-Check zum Entwurf eines Gesetzes zur Modernisierung des Staatsangehörigkeitsrechts (Kabinettsbefassung: 23.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
Überblick Bundestag Jugend-Check zum Entwurf eines Gesetzes zur Stärkung der Aus- und Weiterbildungsförderung (Kabinettsbefassung: 29.03.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
Restrictions for loop-check in sequent calculus for temporal logic
Lietuvos Matematikos Rinkinys, 2008 In this paper, we present sequent calculus for linear temporal logic. This sequent calculus uses efficient loop-check techinque. We prove that we can use not all but only several special sequents from the derivation tree for the loop-check.
Adomas Birštunas
doaj +1 more source
An analysis of loop checking mechanisms for logic programs
Theoretical Computer Science, 1991 All methods of detecting divergence in computations of logic programs have been based on excluding some kinds of repetitions by so called loop checking. Loop checking mechanisms are systematically studied by considering their soundness, completeness and relative strength.
R.N. Bol +2 more
openaire +3 more sources