Matches in SemOpenAlex for { <https://semopenalex.org/work/W1586565638> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1586565638 endingPage "417" @default.
- W1586565638 startingPage "394" @default.
- W1586565638 abstract "We present algorithms for computing A-sufficient substitutions and constraint sets together with the definiens operation. These operations are primitive operations in the language GCLA. The paper first defines those primitives, which together form a dual rule to SLD resolution, and then describes the different algorithms and some of their properties together with examples. One of the algorithms shows how a definition can be compiled into a representation holding all possible A-sufficient substitutions/constraint sets together with their corresponding definiens. This representation makes the computation in runtime of a definiens and an A-sufficient substitution/constraint set having the same complexity as the operation clause/2 in Prolog. The paper also describes the generalisation from unification (sets of equalities) to constraint sets and satisfiability of systems of equalities and inequalities." @default.
- W1586565638 created "2016-06-24" @default.
- W1586565638 creator A5010791570 @default.
- W1586565638 date "1993-01-01" @default.
- W1586565638 modified "2023-10-16" @default.
- W1586565638 title "Implementational issues in GCLA: A-sufficiency and the definiens operation" @default.
- W1586565638 cites W1977134289 @default.
- W1586565638 cites W1988347771 @default.
- W1586565638 cites W1991936529 @default.
- W1586565638 cites W2010104109 @default.
- W1586565638 cites W4210556102 @default.
- W1586565638 doi "https://doi.org/10.1007/3-540-56454-3_19" @default.
- W1586565638 hasPublicationYear "1993" @default.
- W1586565638 type Work @default.
- W1586565638 sameAs 1586565638 @default.
- W1586565638 citedByCount "3" @default.
- W1586565638 crossrefType "book-chapter" @default.
- W1586565638 hasAuthorship W1586565638A5010791570 @default.
- W1586565638 hasBestOaLocation W15865656382 @default.
- W1586565638 hasConcept C11413529 @default.
- W1586565638 hasConcept C126255220 @default.
- W1586565638 hasConcept C137631369 @default.
- W1586565638 hasConcept C138268822 @default.
- W1586565638 hasConcept C16221470 @default.
- W1586565638 hasConcept C168773769 @default.
- W1586565638 hasConcept C173404611 @default.
- W1586565638 hasConcept C177264268 @default.
- W1586565638 hasConcept C17744445 @default.
- W1586565638 hasConcept C199360897 @default.
- W1586565638 hasConcept C199539241 @default.
- W1586565638 hasConcept C2524010 @default.
- W1586565638 hasConcept C2776036281 @default.
- W1586565638 hasConcept C2776359362 @default.
- W1586565638 hasConcept C2778220771 @default.
- W1586565638 hasConcept C33923547 @default.
- W1586565638 hasConcept C41008148 @default.
- W1586565638 hasConcept C45374587 @default.
- W1586565638 hasConcept C80444323 @default.
- W1586565638 hasConcept C81721847 @default.
- W1586565638 hasConcept C94625758 @default.
- W1586565638 hasConcept C96146094 @default.
- W1586565638 hasConceptScore W1586565638C11413529 @default.
- W1586565638 hasConceptScore W1586565638C126255220 @default.
- W1586565638 hasConceptScore W1586565638C137631369 @default.
- W1586565638 hasConceptScore W1586565638C138268822 @default.
- W1586565638 hasConceptScore W1586565638C16221470 @default.
- W1586565638 hasConceptScore W1586565638C168773769 @default.
- W1586565638 hasConceptScore W1586565638C173404611 @default.
- W1586565638 hasConceptScore W1586565638C177264268 @default.
- W1586565638 hasConceptScore W1586565638C17744445 @default.
- W1586565638 hasConceptScore W1586565638C199360897 @default.
- W1586565638 hasConceptScore W1586565638C199539241 @default.
- W1586565638 hasConceptScore W1586565638C2524010 @default.
- W1586565638 hasConceptScore W1586565638C2776036281 @default.
- W1586565638 hasConceptScore W1586565638C2776359362 @default.
- W1586565638 hasConceptScore W1586565638C2778220771 @default.
- W1586565638 hasConceptScore W1586565638C33923547 @default.
- W1586565638 hasConceptScore W1586565638C41008148 @default.
- W1586565638 hasConceptScore W1586565638C45374587 @default.
- W1586565638 hasConceptScore W1586565638C80444323 @default.
- W1586565638 hasConceptScore W1586565638C81721847 @default.
- W1586565638 hasConceptScore W1586565638C94625758 @default.
- W1586565638 hasConceptScore W1586565638C96146094 @default.
- W1586565638 hasLocation W15865656381 @default.
- W1586565638 hasLocation W15865656382 @default.
- W1586565638 hasOpenAccess W1586565638 @default.
- W1586565638 hasPrimaryLocation W15865656381 @default.
- W1586565638 hasRelatedWork W1544509612 @default.
- W1586565638 hasRelatedWork W1553965833 @default.
- W1586565638 hasRelatedWork W1560895966 @default.
- W1586565638 hasRelatedWork W1586565638 @default.
- W1586565638 hasRelatedWork W1596719193 @default.
- W1586565638 hasRelatedWork W192699810 @default.
- W1586565638 hasRelatedWork W2043045565 @default.
- W1586565638 hasRelatedWork W2156290800 @default.
- W1586565638 hasRelatedWork W32279214 @default.
- W1586565638 hasRelatedWork W4210498713 @default.
- W1586565638 isParatext "false" @default.
- W1586565638 isRetracted "false" @default.
- W1586565638 magId "1586565638" @default.
- W1586565638 workType "book-chapter" @default.