Matches in SemOpenAlex for { <https://semopenalex.org/work/W337666875> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W337666875 abstract "We study a powerful class of logic programs which terminate for a large class of goals. Both classes arecharacterized in a natural way in terms of mappings from variable-free atoms to natural numbers. Basedon this idea we present a technique which improves the termination behaviour and allows a more multidirectionaluse of Prolog programs. The class of logic programs is shown to be strong enough to computeevery total recursive function. The class of goals considerably extends the variable-free ones." @default.
- W337666875 created "2016-06-24" @default.
- W337666875 creator A5008923958 @default.
- W337666875 date "1991-03-01" @default.
- W337666875 modified "2023-10-16" @default.
- W337666875 title "Strong Termination of Logic Programs" @default.
- W337666875 hasPublicationYear "1991" @default.
- W337666875 type Work @default.
- W337666875 sameAs 337666875 @default.
- W337666875 citedByCount "2" @default.
- W337666875 crossrefType "journal-article" @default.
- W337666875 hasAuthorship W337666875A5008923958 @default.
- W337666875 hasConcept C118615104 @default.
- W337666875 hasConcept C128838566 @default.
- W337666875 hasConcept C134306372 @default.
- W337666875 hasConcept C14036430 @default.
- W337666875 hasConcept C154945302 @default.
- W337666875 hasConcept C166957645 @default.
- W337666875 hasConcept C182365436 @default.
- W337666875 hasConcept C184264201 @default.
- W337666875 hasConcept C199360897 @default.
- W337666875 hasConcept C2776608160 @default.
- W337666875 hasConcept C2777212361 @default.
- W337666875 hasConcept C2987117450 @default.
- W337666875 hasConcept C33923547 @default.
- W337666875 hasConcept C41008148 @default.
- W337666875 hasConcept C78458016 @default.
- W337666875 hasConcept C80444323 @default.
- W337666875 hasConcept C81721847 @default.
- W337666875 hasConcept C86803240 @default.
- W337666875 hasConcept C95457728 @default.
- W337666875 hasConceptScore W337666875C118615104 @default.
- W337666875 hasConceptScore W337666875C128838566 @default.
- W337666875 hasConceptScore W337666875C134306372 @default.
- W337666875 hasConceptScore W337666875C14036430 @default.
- W337666875 hasConceptScore W337666875C154945302 @default.
- W337666875 hasConceptScore W337666875C166957645 @default.
- W337666875 hasConceptScore W337666875C182365436 @default.
- W337666875 hasConceptScore W337666875C184264201 @default.
- W337666875 hasConceptScore W337666875C199360897 @default.
- W337666875 hasConceptScore W337666875C2776608160 @default.
- W337666875 hasConceptScore W337666875C2777212361 @default.
- W337666875 hasConceptScore W337666875C2987117450 @default.
- W337666875 hasConceptScore W337666875C33923547 @default.
- W337666875 hasConceptScore W337666875C41008148 @default.
- W337666875 hasConceptScore W337666875C78458016 @default.
- W337666875 hasConceptScore W337666875C80444323 @default.
- W337666875 hasConceptScore W337666875C81721847 @default.
- W337666875 hasConceptScore W337666875C86803240 @default.
- W337666875 hasConceptScore W337666875C95457728 @default.
- W337666875 hasLocation W3376668751 @default.
- W337666875 hasOpenAccess W337666875 @default.
- W337666875 hasPrimaryLocation W3376668751 @default.
- W337666875 hasRelatedWork W111738586 @default.
- W337666875 hasRelatedWork W1499277620 @default.
- W337666875 hasRelatedWork W1551819073 @default.
- W337666875 hasRelatedWork W1586206029 @default.
- W337666875 hasRelatedWork W1597208181 @default.
- W337666875 hasRelatedWork W2012615291 @default.
- W337666875 hasRelatedWork W2050677448 @default.
- W337666875 hasRelatedWork W2060065675 @default.
- W337666875 hasRelatedWork W2081810835 @default.
- W337666875 hasRelatedWork W2152635269 @default.
- W337666875 hasRelatedWork W2256453998 @default.
- W337666875 hasRelatedWork W26430177 @default.
- W337666875 hasRelatedWork W2951636042 @default.
- W337666875 hasRelatedWork W2985283311 @default.
- W337666875 hasRelatedWork W3021182594 @default.
- W337666875 hasRelatedWork W3113299056 @default.
- W337666875 hasRelatedWork W3115037346 @default.
- W337666875 hasRelatedWork W3123850752 @default.
- W337666875 hasRelatedWork W3205242392 @default.
- W337666875 hasRelatedWork W148987898 @default.
- W337666875 hasVolume "63" @default.
- W337666875 isParatext "false" @default.
- W337666875 isRetracted "false" @default.
- W337666875 magId "337666875" @default.
- W337666875 workType "article" @default.