Matches in SemOpenAlex for { <https://semopenalex.org/work/W1561636275> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1561636275 abstract "Abstract : We begin with a review of intuitionistic non-commutative linear logic (INCLL), a refinement of linear logic with an inherent notion of order proposed by the authors in prior work. We then develop a logic programming interpretation for INCLL in two steps: (1) we give a system of ordered uniform derivations which is sound and complete with respect to INCLL, and (2) we present a model of resource consumption which removes non-determinism from ordered resource allocation during search for uniform derivations. We also illustrate the expressive power of the resulting ordered linear logic programming language through some examples, including programs for merge sort, insertion sort, and natural language parsing." @default.
- W1561636275 created "2016-06-24" @default.
- W1561636275 creator A5021476649 @default.
- W1561636275 creator A5087713559 @default.
- W1561636275 date "1998-12-22" @default.
- W1561636275 modified "2023-09-26" @default.
- W1561636275 title "Ordered Linear Logic Programming" @default.
- W1561636275 cites W1572526673 @default.
- W1561636275 cites W1727609483 @default.
- W1561636275 cites W1761411969 @default.
- W1561636275 cites W1973260109 @default.
- W1561636275 cites W2047562642 @default.
- W1561636275 cites W2056025285 @default.
- W1561636275 cites W2070324762 @default.
- W1561636275 cites W2078432227 @default.
- W1561636275 cites W2093111544 @default.
- W1561636275 cites W2106458801 @default.
- W1561636275 cites W2161555915 @default.
- W1561636275 cites W2328580899 @default.
- W1561636275 cites W2911865844 @default.
- W1561636275 cites W66729915 @default.
- W1561636275 cites W69115018 @default.
- W1561636275 cites W91153459 @default.
- W1561636275 cites W28296052 @default.
- W1561636275 hasPublicationYear "1998" @default.
- W1561636275 type Work @default.
- W1561636275 sameAs 1561636275 @default.
- W1561636275 citedByCount "2" @default.
- W1561636275 crossrefType "journal-article" @default.
- W1561636275 hasAuthorship W1561636275A5021476649 @default.
- W1561636275 hasAuthorship W1561636275A5087713559 @default.
- W1561636275 hasConcept C102993220 @default.
- W1561636275 hasConcept C11413529 @default.
- W1561636275 hasConcept C128838566 @default.
- W1561636275 hasConcept C144760519 @default.
- W1561636275 hasConcept C189790780 @default.
- W1561636275 hasConcept C195818886 @default.
- W1561636275 hasConcept C199360897 @default.
- W1561636275 hasConcept C203659156 @default.
- W1561636275 hasConcept C28077239 @default.
- W1561636275 hasConcept C33923547 @default.
- W1561636275 hasConcept C41008148 @default.
- W1561636275 hasConcept C80444323 @default.
- W1561636275 hasConceptScore W1561636275C102993220 @default.
- W1561636275 hasConceptScore W1561636275C11413529 @default.
- W1561636275 hasConceptScore W1561636275C128838566 @default.
- W1561636275 hasConceptScore W1561636275C144760519 @default.
- W1561636275 hasConceptScore W1561636275C189790780 @default.
- W1561636275 hasConceptScore W1561636275C195818886 @default.
- W1561636275 hasConceptScore W1561636275C199360897 @default.
- W1561636275 hasConceptScore W1561636275C203659156 @default.
- W1561636275 hasConceptScore W1561636275C28077239 @default.
- W1561636275 hasConceptScore W1561636275C33923547 @default.
- W1561636275 hasConceptScore W1561636275C41008148 @default.
- W1561636275 hasConceptScore W1561636275C80444323 @default.
- W1561636275 hasLocation W15616362751 @default.
- W1561636275 hasOpenAccess W1561636275 @default.
- W1561636275 hasPrimaryLocation W15616362751 @default.
- W1561636275 hasRelatedWork W143486818 @default.
- W1561636275 hasRelatedWork W1491087626 @default.
- W1561636275 hasRelatedWork W1539640762 @default.
- W1561636275 hasRelatedWork W1549147858 @default.
- W1561636275 hasRelatedWork W1570502976 @default.
- W1561636275 hasRelatedWork W1595239411 @default.
- W1561636275 hasRelatedWork W1608696820 @default.
- W1561636275 hasRelatedWork W1732367193 @default.
- W1561636275 hasRelatedWork W1943981183 @default.
- W1561636275 hasRelatedWork W1996513497 @default.
- W1561636275 hasRelatedWork W2066071727 @default.
- W1561636275 hasRelatedWork W2068901530 @default.
- W1561636275 hasRelatedWork W2093111544 @default.
- W1561636275 hasRelatedWork W2097576831 @default.
- W1561636275 hasRelatedWork W2106458801 @default.
- W1561636275 hasRelatedWork W2130548742 @default.
- W1561636275 hasRelatedWork W2164104198 @default.
- W1561636275 hasRelatedWork W2169411354 @default.
- W1561636275 hasRelatedWork W2584962230 @default.
- W1561636275 hasRelatedWork W753617165 @default.
- W1561636275 isParatext "false" @default.
- W1561636275 isRetracted "false" @default.
- W1561636275 magId "1561636275" @default.
- W1561636275 workType "article" @default.