Results 231 to 240 of about 32,999 (258)
Some of the next articles are maybe not open access.
Gefahrstoffkennzeichnung nach CLP/GHS
2016Die EG-Verordnung 1272/2008 (CLP-Verordnung) soll ein hohes Schutzniveau fur die menschliche Gesundheit und fur die Umwelt sicherstellen sowie den freien Verkehr von chemischen Stoffen, Gemischen und bestimmten spezifischen Erzeugnissen gewahrleisten und gleichzeitig Wettbewerbsfahigkeit und Innovation verbessern.
Gabi Förtsch, Heinz Meinholz
openaire +1 more source
1995
We study under which conditions the domain of λ-terms (Λ) and the equality theory of the λ-calculus (≡αβ) form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom η, and the formula language must depart from Horn clauses and accept universal quantifications and implications ...
openaire +1 more source
We study under which conditions the domain of λ-terms (Λ) and the equality theory of the λ-calculus (≡αβ) form the basis of a usable constraint logic programming language (CLP). The conditions are that the equality theory must contain axiom η, and the formula language must depart from Horn clauses and accept universal quantifications and implications ...
openaire +1 more source
Interface Verification using CLP
1998In recent years, Constraint Logic Programming (CLP) has emerged as an interesting alternative to purely algorithmic approaches. Under this paradigm, a problem may be formulated as one of constraint satisfaction (CSP—Constraint Satisfaction Problem). The user can take advantage of existing searching and solving techniques (consistency techniques) and ...
E. Cerny +3 more
openaire +1 more source
2003
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an efficient abductive solver where abducibles are treated as constraints. We propose two possible implementations, in which integrity constraints are exploited either (i) as the ...
GAVANELLI, Marco +4 more
openaire +1 more source
Constraint Logic Programming (CLP) and Abductive Logic Programming (ALP) share the important concept of conditional answer. We exploit their deep similarities to implement an efficient abductive solver where abducibles are treated as constraints. We propose two possible implementations, in which integrity constraints are exploited either (i) as the ...
GAVANELLI, Marco +4 more
openaire +1 more source
CLP and constraint abstraction
Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '89, 1989CLP*(D) is a class of constraint logic programming languages which incorporates the notion of abstraction. Predicates in CLP*(D) are (potentially) infinite rational trees which represent abstractions of constraint expressions. This view of predicates as constraint abstractions was motivated by the language Scheme, where closures are viewed as ...
openaire +1 more source
Chloroplast-localized Clp proteins
1997Abstract Complete derived amino acid sequences of higher plantClpC proteins are available from (Moore andKeegstra, 1993; GenBank accession number L09546) and(Gottesman 1990; P31541,P31542),, a sequence missing less than 70 codons atthe amino terminus available from Brassica napus(X75328). Overall the ClpC amino acid fromare also reported
openaire +1 more source
Extending CLP with Metaheuristics
2003Modern Constraint Logic Programming (CLP) systems have a number of approved features like their declarative programming language, the incorporation of sophisticated search space pruning and propagation algorithms as well as deterministic complete search algorithms.
openaire +1 more source