Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520782000> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1520782000 abstract "We consider the folding transformation rule for constraintlogic programs. We propose an algorithm for applying the folding rule in the case where the constraints are linear equations and inequations over the rational or the real numbers. Basically, our algorithm consists in reducing a rule application to the solution of one or more systemsof linear equations and inequations. We also introduce two variants of the folding transformation rule. The first variant combines the folding rule with the clause splitting rule, and the second variant eliminates the existential variables of a clause, that is, those variables which occur in the body of the clause and not in its head. Finally, we present the algorithms for applying these variants of the folding rule." @default.
- W1520782000 created "2016-06-24" @default.
- W1520782000 creator A5018873219 @default.
- W1520782000 creator A5025420559 @default.
- W1520782000 creator A5080397323 @default.
- W1520782000 date "2008-01-01" @default.
- W1520782000 modified "2023-09-26" @default.
- W1520782000 title "Folding Transformation Rules for Constraint Logic Programs" @default.
- W1520782000 cites W1481536172 @default.
- W1520782000 cites W1541434994 @default.
- W1520782000 cites W1555577483 @default.
- W1520782000 cites W16194962 @default.
- W1520782000 cites W1653581507 @default.
- W1520782000 cites W1963547452 @default.
- W1520782000 cites W1975155152 @default.
- W1520782000 cites W1975952423 @default.
- W1520782000 cites W1988290118 @default.
- W1520782000 cites W2011662639 @default.
- W1520782000 cites W2023299380 @default.
- W1520782000 cites W2029186912 @default.
- W1520782000 cites W2036481185 @default.
- W1520782000 cites W2043140417 @default.
- W1520782000 cites W2063727779 @default.
- W1520782000 cites W2150823169 @default.
- W1520782000 cites W2153146517 @default.
- W1520782000 cites W2323424430 @default.
- W1520782000 cites W598205067 @default.
- W1520782000 hasPublicationYear "2008" @default.
- W1520782000 type Work @default.
- W1520782000 sameAs 1520782000 @default.
- W1520782000 citedByCount "0" @default.
- W1520782000 crossrefType "journal-article" @default.
- W1520782000 hasAuthorship W1520782000A5018873219 @default.
- W1520782000 hasAuthorship W1520782000A5025420559 @default.
- W1520782000 hasAuthorship W1520782000A5080397323 @default.
- W1520782000 hasConcept C104317684 @default.
- W1520782000 hasConcept C107673813 @default.
- W1520782000 hasConcept C11413529 @default.
- W1520782000 hasConcept C119599485 @default.
- W1520782000 hasConcept C127413603 @default.
- W1520782000 hasConcept C154945302 @default.
- W1520782000 hasConcept C185592680 @default.
- W1520782000 hasConcept C204241405 @default.
- W1520782000 hasConcept C2524010 @default.
- W1520782000 hasConcept C2776036281 @default.
- W1520782000 hasConcept C2776545253 @default.
- W1520782000 hasConcept C33825631 @default.
- W1520782000 hasConcept C33923547 @default.
- W1520782000 hasConcept C41008148 @default.
- W1520782000 hasConcept C49698424 @default.
- W1520782000 hasConcept C55493867 @default.
- W1520782000 hasConcept C57830394 @default.
- W1520782000 hasConcept C80444323 @default.
- W1520782000 hasConceptScore W1520782000C104317684 @default.
- W1520782000 hasConceptScore W1520782000C107673813 @default.
- W1520782000 hasConceptScore W1520782000C11413529 @default.
- W1520782000 hasConceptScore W1520782000C119599485 @default.
- W1520782000 hasConceptScore W1520782000C127413603 @default.
- W1520782000 hasConceptScore W1520782000C154945302 @default.
- W1520782000 hasConceptScore W1520782000C185592680 @default.
- W1520782000 hasConceptScore W1520782000C204241405 @default.
- W1520782000 hasConceptScore W1520782000C2524010 @default.
- W1520782000 hasConceptScore W1520782000C2776036281 @default.
- W1520782000 hasConceptScore W1520782000C2776545253 @default.
- W1520782000 hasConceptScore W1520782000C33825631 @default.
- W1520782000 hasConceptScore W1520782000C33923547 @default.
- W1520782000 hasConceptScore W1520782000C41008148 @default.
- W1520782000 hasConceptScore W1520782000C49698424 @default.
- W1520782000 hasConceptScore W1520782000C55493867 @default.
- W1520782000 hasConceptScore W1520782000C57830394 @default.
- W1520782000 hasConceptScore W1520782000C80444323 @default.
- W1520782000 hasLocation W15207820001 @default.
- W1520782000 hasOpenAccess W1520782000 @default.
- W1520782000 hasPrimaryLocation W15207820001 @default.
- W1520782000 hasRelatedWork W101868760 @default.
- W1520782000 hasRelatedWork W1503635106 @default.
- W1520782000 hasRelatedWork W1541511465 @default.
- W1520782000 hasRelatedWork W1584488478 @default.
- W1520782000 hasRelatedWork W1704764871 @default.
- W1520782000 hasRelatedWork W1845749915 @default.
- W1520782000 hasRelatedWork W1859305384 @default.
- W1520782000 hasRelatedWork W1943981183 @default.
- W1520782000 hasRelatedWork W1975723073 @default.
- W1520782000 hasRelatedWork W1989213510 @default.
- W1520782000 hasRelatedWork W2026713011 @default.
- W1520782000 hasRelatedWork W2068901530 @default.
- W1520782000 hasRelatedWork W2097576831 @default.
- W1520782000 hasRelatedWork W2122198133 @default.
- W1520782000 hasRelatedWork W2613173536 @default.
- W1520782000 hasRelatedWork W2949741382 @default.
- W1520782000 hasRelatedWork W2953129388 @default.
- W1520782000 hasRelatedWork W3100001578 @default.
- W1520782000 hasRelatedWork W3108905228 @default.
- W1520782000 hasRelatedWork W281811786 @default.
- W1520782000 isParatext "false" @default.
- W1520782000 isRetracted "false" @default.
- W1520782000 magId "1520782000" @default.
- W1520782000 workType "article" @default.