Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007070868> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2007070868 endingPage "40" @default.
- W2007070868 startingPage "22" @default.
- W2007070868 abstract "We have shown elsewhere how to introduce a concept of syntactic unification when terms are taken as the elements in a free module and established the link between both unification concepts showing that, under certain reasonable hypotheses, they are completely equivalent. Here we show how syntactic unification of terms may be viewed as the intersection of certain subsets in a free module, which strongly resemble affine varieties in vector spaces. Thus this work represents a first step in the way towards a purely geometric interpretation of logic programming." @default.
- W2007070868 created "2016-06-24" @default.
- W2007070868 creator A5038766512 @default.
- W2007070868 creator A5048563459 @default.
- W2007070868 date "2002-12-01" @default.
- W2007070868 modified "2023-10-01" @default.
- W2007070868 title "Syntactic Unification as a Geometric Operation in Free Modules over certain Rings" @default.
- W2007070868 cites W1504896368 @default.
- W2007070868 cites W1507294021 @default.
- W2007070868 cites W1542298512 @default.
- W2007070868 cites W1585533089 @default.
- W2007070868 cites W1614188283 @default.
- W2007070868 cites W1841819971 @default.
- W2007070868 cites W2023578426 @default.
- W2007070868 cites W2065555531 @default.
- W2007070868 cites W2072015843 @default.
- W2007070868 cites W2184269028 @default.
- W2007070868 cites W223966577 @default.
- W2007070868 cites W244204066 @default.
- W2007070868 cites W2911838076 @default.
- W2007070868 cites W2915015834 @default.
- W2007070868 cites W3043060850 @default.
- W2007070868 cites W359462364 @default.
- W2007070868 cites W659508351 @default.
- W2007070868 doi "https://doi.org/10.1016/s1571-0661(04)80512-7" @default.
- W2007070868 hasPublicationYear "2002" @default.
- W2007070868 type Work @default.
- W2007070868 sameAs 2007070868 @default.
- W2007070868 citedByCount "1" @default.
- W2007070868 crossrefType "journal-article" @default.
- W2007070868 hasAuthorship W2007070868A5038766512 @default.
- W2007070868 hasAuthorship W2007070868A5048563459 @default.
- W2007070868 hasBestOaLocation W20070708681 @default.
- W2007070868 hasConcept C127413603 @default.
- W2007070868 hasConcept C136119220 @default.
- W2007070868 hasConcept C146978453 @default.
- W2007070868 hasConcept C199360897 @default.
- W2007070868 hasConcept C202444582 @default.
- W2007070868 hasConcept C33923547 @default.
- W2007070868 hasConcept C41008148 @default.
- W2007070868 hasConcept C527412718 @default.
- W2007070868 hasConcept C64543145 @default.
- W2007070868 hasConcept C80444323 @default.
- W2007070868 hasConcept C92757383 @default.
- W2007070868 hasConcept C96146094 @default.
- W2007070868 hasConceptScore W2007070868C127413603 @default.
- W2007070868 hasConceptScore W2007070868C136119220 @default.
- W2007070868 hasConceptScore W2007070868C146978453 @default.
- W2007070868 hasConceptScore W2007070868C199360897 @default.
- W2007070868 hasConceptScore W2007070868C202444582 @default.
- W2007070868 hasConceptScore W2007070868C33923547 @default.
- W2007070868 hasConceptScore W2007070868C41008148 @default.
- W2007070868 hasConceptScore W2007070868C527412718 @default.
- W2007070868 hasConceptScore W2007070868C64543145 @default.
- W2007070868 hasConceptScore W2007070868C80444323 @default.
- W2007070868 hasConceptScore W2007070868C92757383 @default.
- W2007070868 hasConceptScore W2007070868C96146094 @default.
- W2007070868 hasIssue "5" @default.
- W2007070868 hasLocation W20070708681 @default.
- W2007070868 hasOpenAccess W2007070868 @default.
- W2007070868 hasPrimaryLocation W20070708681 @default.
- W2007070868 hasRelatedWork W1985218657 @default.
- W2007070868 hasRelatedWork W1992303732 @default.
- W2007070868 hasRelatedWork W1995461348 @default.
- W2007070868 hasRelatedWork W2002850650 @default.
- W2007070868 hasRelatedWork W2035838282 @default.
- W2007070868 hasRelatedWork W2166247150 @default.
- W2007070868 hasRelatedWork W2576327220 @default.
- W2007070868 hasRelatedWork W2963309109 @default.
- W2007070868 hasRelatedWork W3176907586 @default.
- W2007070868 hasRelatedWork W4311038273 @default.
- W2007070868 hasVolume "66" @default.
- W2007070868 isParatext "false" @default.
- W2007070868 isRetracted "false" @default.
- W2007070868 magId "2007070868" @default.
- W2007070868 workType "article" @default.