Matches in SemOpenAlex for { <https://semopenalex.org/work/W2532425366> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2532425366 endingPage "549" @default.
- W2532425366 startingPage "535" @default.
- W2532425366 abstract "In this paper an extension of narrowing based functional logic languages is proposed: Every partial definition of a function can be completed with a default rule. In a concrete function call, the default rule is applicable when the normal ones determine that they cannot compute the value of the call. The use of the default rule, in the presence of a goal with variables, is constructive. The operational semantics provides constraints to the variables to make the default rule applicable. Narrowing semantics are modified extending the technique of constructive negation [3, 4, 17]." @default.
- W2532425366 created "2016-10-28" @default.
- W2532425366 creator A5035808622 @default.
- W2532425366 date "1994-01-01" @default.
- W2532425366 modified "2023-09-23" @default.
- W2532425366 title "Default Rules: An Extension of Constructive Negation for N arrowing-based Languages" @default.
- W2532425366 hasPublicationYear "1994" @default.
- W2532425366 type Work @default.
- W2532425366 sameAs 2532425366 @default.
- W2532425366 citedByCount "0" @default.
- W2532425366 crossrefType "journal-article" @default.
- W2532425366 hasAuthorship W2532425366A5035808622 @default.
- W2532425366 hasConcept C102993220 @default.
- W2532425366 hasConcept C127001435 @default.
- W2532425366 hasConcept C14036430 @default.
- W2532425366 hasConcept C156325763 @default.
- W2532425366 hasConcept C160236029 @default.
- W2532425366 hasConcept C162324750 @default.
- W2532425366 hasConcept C184337299 @default.
- W2532425366 hasConcept C190253527 @default.
- W2532425366 hasConcept C194146651 @default.
- W2532425366 hasConcept C199360897 @default.
- W2532425366 hasConcept C203659156 @default.
- W2532425366 hasConcept C2185349 @default.
- W2532425366 hasConcept C2777142071 @default.
- W2532425366 hasConcept C2778029271 @default.
- W2532425366 hasConcept C2778701210 @default.
- W2532425366 hasConcept C33923547 @default.
- W2532425366 hasConcept C3845977 @default.
- W2532425366 hasConcept C41008148 @default.
- W2532425366 hasConcept C78458016 @default.
- W2532425366 hasConcept C80444323 @default.
- W2532425366 hasConcept C86803240 @default.
- W2532425366 hasConcept C98045186 @default.
- W2532425366 hasConceptScore W2532425366C102993220 @default.
- W2532425366 hasConceptScore W2532425366C127001435 @default.
- W2532425366 hasConceptScore W2532425366C14036430 @default.
- W2532425366 hasConceptScore W2532425366C156325763 @default.
- W2532425366 hasConceptScore W2532425366C160236029 @default.
- W2532425366 hasConceptScore W2532425366C162324750 @default.
- W2532425366 hasConceptScore W2532425366C184337299 @default.
- W2532425366 hasConceptScore W2532425366C190253527 @default.
- W2532425366 hasConceptScore W2532425366C194146651 @default.
- W2532425366 hasConceptScore W2532425366C199360897 @default.
- W2532425366 hasConceptScore W2532425366C203659156 @default.
- W2532425366 hasConceptScore W2532425366C2185349 @default.
- W2532425366 hasConceptScore W2532425366C2777142071 @default.
- W2532425366 hasConceptScore W2532425366C2778029271 @default.
- W2532425366 hasConceptScore W2532425366C2778701210 @default.
- W2532425366 hasConceptScore W2532425366C33923547 @default.
- W2532425366 hasConceptScore W2532425366C3845977 @default.
- W2532425366 hasConceptScore W2532425366C41008148 @default.
- W2532425366 hasConceptScore W2532425366C78458016 @default.
- W2532425366 hasConceptScore W2532425366C80444323 @default.
- W2532425366 hasConceptScore W2532425366C86803240 @default.
- W2532425366 hasConceptScore W2532425366C98045186 @default.
- W2532425366 hasLocation W25324253661 @default.
- W2532425366 hasOpenAccess W2532425366 @default.
- W2532425366 hasPrimaryLocation W25324253661 @default.
- W2532425366 hasRelatedWork W1502112638 @default.
- W2532425366 hasRelatedWork W1508481787 @default.
- W2532425366 hasRelatedWork W1544303999 @default.
- W2532425366 hasRelatedWork W1570170838 @default.
- W2532425366 hasRelatedWork W1584010043 @default.
- W2532425366 hasRelatedWork W1587594994 @default.
- W2532425366 hasRelatedWork W1601784262 @default.
- W2532425366 hasRelatedWork W1749135959 @default.
- W2532425366 hasRelatedWork W1974174939 @default.
- W2532425366 hasRelatedWork W2009317964 @default.
- W2532425366 hasRelatedWork W2081817312 @default.
- W2532425366 hasRelatedWork W2113358557 @default.
- W2532425366 hasRelatedWork W2117280283 @default.
- W2532425366 hasRelatedWork W2164905047 @default.
- W2532425366 hasRelatedWork W2365692196 @default.
- W2532425366 hasRelatedWork W2490333804 @default.
- W2532425366 hasRelatedWork W2510221240 @default.
- W2532425366 hasRelatedWork W66421417 @default.
- W2532425366 hasRelatedWork W76111568 @default.
- W2532425366 hasRelatedWork W93845155 @default.
- W2532425366 isParatext "false" @default.
- W2532425366 isRetracted "false" @default.
- W2532425366 magId "2532425366" @default.
- W2532425366 workType "article" @default.