Results 11 to 20 of about 45,052 (300)
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
CoRR, 2013 Appeared in CICLOPS 2012.
Gallego Arias, Emilio Jesús +3 more
openaire +5 more sources
, 1999 We show that Constraint Logic Programming (CLP) can serve as a conceptual basis and as a practical implementation platform for the model checking of infinite-state systems. Our contributions are: (1) a semantics-preserving translation of concurrent systems into CLP programs, (2) a method for verifying safety and liveness properties on the CLP programs ...
DELZANNO, GIORGIO, PODELSKI A.
openaire +5 more sources
Products of sequential CLP-compact spaces are CLP-compact
Annals of Pure and Applied Logic, 2006 The class of spaces which have the property that every cover by clopen sets has a finite subcover was introduced by A. Šostak under the name \textit{CB-compact}. These spaces are now known as \textit{CLP-compact} spaces and it has emerged that much of the interesting behaviour of this class derives from the possibility that the product of two ...
Steprāns, Juris
openaire +3 more sources
Transformations of CLP modules [PDF]
Theoretical Computer Science, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sandro Etalle, Maurizio Gabbrielli
openaire +4 more sources
Towards independent and-parallelism in CLP [PDF]
, 1996 In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP.
García de la Banda, M. +2 more
openaire +3 more sources
, 2022 Alignments of nuclear-encoded genes that conform the plastid CLP ...
Luis Federico Ceriotti (11956136)
core +1 more source
“How much can one argue within a couple of seconds?”: an interview with Roberto Simanoswki
MatLit, 2020 Centrando-se em obras recentes de Roberto Simanowski, esta entrevista aborda dilemas éticos e políticos criados pelas formas digitais de automação e controlo.
Marques, Ana, Portela, Manuel
doaj +1 more source
Revista de Estudos Literários, 2013 Introdução ao volume 3 pelas coordenadoras da edição.
Ana Maria Machado, Cristina Mello
doaj +1 more source
Safety & Fire Technology, 2022 Aim: This article attempts to present the issues related to the strengthening of chemical, ecological and environmental safety as an essential component of the safety of citizens and the activities of public authorities, on the example of the activities ...
Andrzej Puka, Krzysztof Cygańczuk
doaj +1 more source
Frontiers in Pharmacology, 2022 Liver dysfunction in sepsis is a major complication that amplifies multiple organ failure and increases the risk of death. Inflammation and oxidative stress are the main mediators in the pathophysiology of sepsis.
Asmaa I. Matouk +9 more
doaj +1 more source