Matches in SemOpenAlex for { <https://semopenalex.org/work/W1974891472> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1974891472 endingPage "66" @default.
- W1974891472 startingPage "45" @default.
- W1974891472 abstract "This paper investigates some semantic properties of concurrent logic languages. Concurrent logic languages with a commit operator differ from pure logic languages in the finite failure set. Since the new finite failure set depends on the computation rule, we define an operational semantics based on a parallel computation rule and a fair search rule. Failures with a parallel computation rule are shown to be strongly related to partial computed answer substitutions. The set of partial computed answer substitutions and the set of finite failures are defined as the least fixpoint of a transformation on pairs of interpretations." @default.
- W1974891472 created "2016-06-24" @default.
- W1974891472 creator A5027303462 @default.
- W1974891472 creator A5053216941 @default.
- W1974891472 date "1990-01-01" @default.
- W1974891472 modified "2023-10-14" @default.
- W1974891472 title "Finite failures and partial computations in concurrent logic languages" @default.
- W1974891472 cites W108763789 @default.
- W1974891472 cites W117015770 @default.
- W1974891472 cites W1499142746 @default.
- W1974891472 cites W1530974209 @default.
- W1974891472 cites W1541122795 @default.
- W1974891472 cites W1541434994 @default.
- W1974891472 cites W1574124744 @default.
- W1974891472 cites W1592287058 @default.
- W1974891472 cites W1766332311 @default.
- W1974891472 cites W2003990235 @default.
- W1974891472 cites W2053384008 @default.
- W1974891472 cites W2111646587 @default.
- W1974891472 cites W2125129987 @default.
- W1974891472 cites W2143326699 @default.
- W1974891472 cites W2143382644 @default.
- W1974891472 cites W2163058466 @default.
- W1974891472 cites W2760036865 @default.
- W1974891472 cites W30151932 @default.
- W1974891472 cites W39560635 @default.
- W1974891472 cites W71255559 @default.
- W1974891472 cites W82671475 @default.
- W1974891472 doi "https://doi.org/10.1016/0304-3975(90)90061-l" @default.
- W1974891472 hasPublicationYear "1990" @default.
- W1974891472 type Work @default.
- W1974891472 sameAs 1974891472 @default.
- W1974891472 citedByCount "14" @default.
- W1974891472 crossrefType "journal-article" @default.
- W1974891472 hasAuthorship W1974891472A5027303462 @default.
- W1974891472 hasAuthorship W1974891472A5053216941 @default.
- W1974891472 hasConcept C11413529 @default.
- W1974891472 hasConcept C128838566 @default.
- W1974891472 hasConcept C153180980 @default.
- W1974891472 hasConcept C177264268 @default.
- W1974891472 hasConcept C184337299 @default.
- W1974891472 hasConcept C199360897 @default.
- W1974891472 hasConcept C33923547 @default.
- W1974891472 hasConcept C41008148 @default.
- W1974891472 hasConcept C45374587 @default.
- W1974891472 hasConcept C77088390 @default.
- W1974891472 hasConcept C80444323 @default.
- W1974891472 hasConceptScore W1974891472C11413529 @default.
- W1974891472 hasConceptScore W1974891472C128838566 @default.
- W1974891472 hasConceptScore W1974891472C153180980 @default.
- W1974891472 hasConceptScore W1974891472C177264268 @default.
- W1974891472 hasConceptScore W1974891472C184337299 @default.
- W1974891472 hasConceptScore W1974891472C199360897 @default.
- W1974891472 hasConceptScore W1974891472C33923547 @default.
- W1974891472 hasConceptScore W1974891472C41008148 @default.
- W1974891472 hasConceptScore W1974891472C45374587 @default.
- W1974891472 hasConceptScore W1974891472C77088390 @default.
- W1974891472 hasConceptScore W1974891472C80444323 @default.
- W1974891472 hasIssue "1-2" @default.
- W1974891472 hasLocation W19748914721 @default.
- W1974891472 hasOpenAccess W1974891472 @default.
- W1974891472 hasPrimaryLocation W19748914721 @default.
- W1974891472 hasRelatedWork W1483213041 @default.
- W1974891472 hasRelatedWork W1576648414 @default.
- W1974891472 hasRelatedWork W1587224678 @default.
- W1974891472 hasRelatedWork W1778728081 @default.
- W1974891472 hasRelatedWork W1855927527 @default.
- W1974891472 hasRelatedWork W1988666619 @default.
- W1974891472 hasRelatedWork W2099080307 @default.
- W1974891472 hasRelatedWork W27605384 @default.
- W1974891472 hasRelatedWork W2998780350 @default.
- W1974891472 hasRelatedWork W1894736207 @default.
- W1974891472 hasVolume "75" @default.
- W1974891472 isParatext "false" @default.
- W1974891472 isRetracted "false" @default.
- W1974891472 magId "1974891472" @default.
- W1974891472 workType "article" @default.