Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570207239> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1570207239 endingPage "337" @default.
- W1570207239 startingPage "320" @default.
- W1570207239 abstract "We consider the problem of defining a solved form for ask and tell equalities over the Herbrand universe used as semantic domain of concurrent constraint programs. We give a solved form which is unique up to renaming for equivalent constraints, and we show an algorithm to compute it. The solved form and the related algorithm are extended to reactive trees consisting of ask and tell constraints. The algorithms are finally shown to be correct, i.e. to preserve the semantics of ask and tell constraints and of reactive trees." @default.
- W1570207239 created "2016-06-24" @default.
- W1570207239 creator A5025039355 @default.
- W1570207239 creator A5027303462 @default.
- W1570207239 date "1991-01-01" @default.
- W1570207239 modified "2023-09-23" @default.
- W1570207239 title "A solved form algorithm for ask and tell Herbrand constraints" @default.
- W1570207239 cites W2033074970 @default.
- W1570207239 cites W2088092488 @default.
- W1570207239 cites W2113722134 @default.
- W1570207239 cites W2123396057 @default.
- W1570207239 cites W2143326699 @default.
- W1570207239 cites W3021058630 @default.
- W1570207239 cites W4206370914 @default.
- W1570207239 cites W4301885396 @default.
- W1570207239 cites W4362223624 @default.
- W1570207239 doi "https://doi.org/10.1007/3-540-53982-4_18" @default.
- W1570207239 hasPublicationYear "1991" @default.
- W1570207239 type Work @default.
- W1570207239 sameAs 1570207239 @default.
- W1570207239 citedByCount "1" @default.
- W1570207239 crossrefType "book-chapter" @default.
- W1570207239 hasAuthorship W1570207239A5025039355 @default.
- W1570207239 hasAuthorship W1570207239A5027303462 @default.
- W1570207239 hasBestOaLocation W15702072391 @default.
- W1570207239 hasConcept C113174947 @default.
- W1570207239 hasConcept C11413529 @default.
- W1570207239 hasConcept C114614502 @default.
- W1570207239 hasConcept C134306372 @default.
- W1570207239 hasConcept C136119220 @default.
- W1570207239 hasConcept C136264566 @default.
- W1570207239 hasConcept C162324750 @default.
- W1570207239 hasConcept C184337299 @default.
- W1570207239 hasConcept C199360897 @default.
- W1570207239 hasConcept C202444582 @default.
- W1570207239 hasConcept C2524010 @default.
- W1570207239 hasConcept C2776036281 @default.
- W1570207239 hasConcept C33923547 @default.
- W1570207239 hasConcept C36503486 @default.
- W1570207239 hasConcept C41008148 @default.
- W1570207239 hasConcept C80444323 @default.
- W1570207239 hasConcept C90329073 @default.
- W1570207239 hasConceptScore W1570207239C113174947 @default.
- W1570207239 hasConceptScore W1570207239C11413529 @default.
- W1570207239 hasConceptScore W1570207239C114614502 @default.
- W1570207239 hasConceptScore W1570207239C134306372 @default.
- W1570207239 hasConceptScore W1570207239C136119220 @default.
- W1570207239 hasConceptScore W1570207239C136264566 @default.
- W1570207239 hasConceptScore W1570207239C162324750 @default.
- W1570207239 hasConceptScore W1570207239C184337299 @default.
- W1570207239 hasConceptScore W1570207239C199360897 @default.
- W1570207239 hasConceptScore W1570207239C202444582 @default.
- W1570207239 hasConceptScore W1570207239C2524010 @default.
- W1570207239 hasConceptScore W1570207239C2776036281 @default.
- W1570207239 hasConceptScore W1570207239C33923547 @default.
- W1570207239 hasConceptScore W1570207239C36503486 @default.
- W1570207239 hasConceptScore W1570207239C41008148 @default.
- W1570207239 hasConceptScore W1570207239C80444323 @default.
- W1570207239 hasConceptScore W1570207239C90329073 @default.
- W1570207239 hasLocation W15702072391 @default.
- W1570207239 hasOpenAccess W1570207239 @default.
- W1570207239 hasPrimaryLocation W15702072391 @default.
- W1570207239 hasRelatedWork W1526789715 @default.
- W1570207239 hasRelatedWork W1603485317 @default.
- W1570207239 hasRelatedWork W201256407 @default.
- W1570207239 hasRelatedWork W2098278475 @default.
- W1570207239 hasRelatedWork W2380389143 @default.
- W1570207239 hasRelatedWork W2506896584 @default.
- W1570207239 hasRelatedWork W2529274371 @default.
- W1570207239 hasRelatedWork W2623347760 @default.
- W1570207239 hasRelatedWork W3016468266 @default.
- W1570207239 hasRelatedWork W54109899 @default.
- W1570207239 isParatext "false" @default.
- W1570207239 isRetracted "false" @default.
- W1570207239 magId "1570207239" @default.
- W1570207239 workType "book-chapter" @default.