Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010264912> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2010264912 endingPage "470" @default.
- W2010264912 startingPage "435" @default.
- W2010264912 abstract "We devise an interpretation of a binarised definite logic program in a geometric framework which is closer to Dynamical Systems than to Logic. The building blocks of our framework are a family of affine sub-modules in a free finitely generated module over a special kind of ring. We describe SLD-resolution of definite binary programs as the iterated action of a finite union of affine graphs, associated to the program clauses, on a certain set of affine varieties associated to the original syntactic terms. This action is shown to faithfully represent the running of the corresponding program on a given goal, since all answers and only those answers the program would output are obtained. Hence, a programming language such as pure Prolog completely falls within our description." @default.
- W2010264912 created "2016-06-24" @default.
- W2010264912 creator A5038766512 @default.
- W2010264912 creator A5048563459 @default.
- W2010264912 date "2004-06-01" @default.
- W2010264912 modified "2023-09-27" @default.
- W2010264912 title "A geometric interpretation of LD-resolution" @default.
- W2010264912 cites W1504896368 @default.
- W2010264912 cites W1507294021 @default.
- W2010264912 cites W1529317038 @default.
- W2010264912 cites W1541434994 @default.
- W2010264912 cites W1542298512 @default.
- W2010264912 cites W1585533089 @default.
- W2010264912 cites W1586338668 @default.
- W2010264912 cites W1606385353 @default.
- W2010264912 cites W1614188283 @default.
- W2010264912 cites W1841819971 @default.
- W2010264912 cites W2007070868 @default.
- W2010264912 cites W2023578426 @default.
- W2010264912 cites W2025430189 @default.
- W2010264912 cites W2050584095 @default.
- W2010264912 cites W2065555531 @default.
- W2010264912 cites W2072015843 @default.
- W2010264912 cites W2081964274 @default.
- W2010264912 cites W2102045458 @default.
- W2010264912 cites W2105505307 @default.
- W2010264912 cites W2139031879 @default.
- W2010264912 cites W2184269028 @default.
- W2010264912 cites W223966577 @default.
- W2010264912 cites W2339378878 @default.
- W2010264912 cites W244204066 @default.
- W2010264912 cites W2911838076 @default.
- W2010264912 cites W2915015834 @default.
- W2010264912 cites W3043060850 @default.
- W2010264912 cites W3096424428 @default.
- W2010264912 cites W3127823229 @default.
- W2010264912 cites W31561947 @default.
- W2010264912 cites W359462364 @default.
- W2010264912 cites W659508351 @default.
- W2010264912 doi "https://doi.org/10.1016/j.tcs.2004.03.007" @default.
- W2010264912 hasPublicationYear "2004" @default.
- W2010264912 type Work @default.
- W2010264912 sameAs 2010264912 @default.
- W2010264912 citedByCount "0" @default.
- W2010264912 crossrefType "journal-article" @default.
- W2010264912 hasAuthorship W2010264912A5038766512 @default.
- W2010264912 hasAuthorship W2010264912A5048563459 @default.
- W2010264912 hasConcept C118615104 @default.
- W2010264912 hasConcept C128838566 @default.
- W2010264912 hasConcept C134306372 @default.
- W2010264912 hasConcept C136119220 @default.
- W2010264912 hasConcept C138268822 @default.
- W2010264912 hasConcept C140479938 @default.
- W2010264912 hasConcept C177264268 @default.
- W2010264912 hasConcept C199360897 @default.
- W2010264912 hasConcept C202444582 @default.
- W2010264912 hasConcept C2780654840 @default.
- W2010264912 hasConcept C2987117450 @default.
- W2010264912 hasConcept C33923547 @default.
- W2010264912 hasConcept C41008148 @default.
- W2010264912 hasConcept C527412718 @default.
- W2010264912 hasConcept C81721847 @default.
- W2010264912 hasConcept C92757383 @default.
- W2010264912 hasConceptScore W2010264912C118615104 @default.
- W2010264912 hasConceptScore W2010264912C128838566 @default.
- W2010264912 hasConceptScore W2010264912C134306372 @default.
- W2010264912 hasConceptScore W2010264912C136119220 @default.
- W2010264912 hasConceptScore W2010264912C138268822 @default.
- W2010264912 hasConceptScore W2010264912C140479938 @default.
- W2010264912 hasConceptScore W2010264912C177264268 @default.
- W2010264912 hasConceptScore W2010264912C199360897 @default.
- W2010264912 hasConceptScore W2010264912C202444582 @default.
- W2010264912 hasConceptScore W2010264912C2780654840 @default.
- W2010264912 hasConceptScore W2010264912C2987117450 @default.
- W2010264912 hasConceptScore W2010264912C33923547 @default.
- W2010264912 hasConceptScore W2010264912C41008148 @default.
- W2010264912 hasConceptScore W2010264912C527412718 @default.
- W2010264912 hasConceptScore W2010264912C81721847 @default.
- W2010264912 hasConceptScore W2010264912C92757383 @default.
- W2010264912 hasIssue "3" @default.
- W2010264912 hasLocation W20102649121 @default.
- W2010264912 hasOpenAccess W2010264912 @default.
- W2010264912 hasPrimaryLocation W20102649121 @default.
- W2010264912 hasRelatedWork W1490546714 @default.
- W2010264912 hasRelatedWork W1513845172 @default.
- W2010264912 hasRelatedWork W1537272321 @default.
- W2010264912 hasRelatedWork W1542459781 @default.
- W2010264912 hasRelatedWork W1597816451 @default.
- W2010264912 hasRelatedWork W2003151706 @default.
- W2010264912 hasRelatedWork W2010264912 @default.
- W2010264912 hasRelatedWork W2097388634 @default.
- W2010264912 hasRelatedWork W2156290800 @default.
- W2010264912 hasRelatedWork W50928870 @default.
- W2010264912 hasVolume "318" @default.
- W2010264912 isParatext "false" @default.
- W2010264912 isRetracted "false" @default.
- W2010264912 magId "2010264912" @default.
- W2010264912 workType "article" @default.