Matches in SemOpenAlex for { <https://semopenalex.org/work/W2044337617> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2044337617 endingPage "149" @default.
- W2044337617 startingPage "149" @default.
- W2044337617 abstract "Unification is an important concept. It is used in Prolog, resolution, term rewriting and natural language understanding. As the use of formal methods increases, unification will be part of formally developed systems. Hence a theory of unification is desirable. This paper demonstrates the use of VDM to develop a theory of unification. Substitution application is defined recursively, a theory of non-circular substitutions is developed, and an implicit specification of unification is written. A proof of a particular unification algorithm is outlined with respect to this specification. The algorithm considered is more space-efficient than that which Manna and Waldinger prove correct. The theory developed is also compared with that of Manna and Waldinger." @default.
- W2044337617 created "2016-06-24" @default.
- W2044337617 creator A5076454480 @default.
- W2044337617 date "1988-01-01" @default.
- W2044337617 modified "2023-10-14" @default.
- W2044337617 title "A theory of unification" @default.
- W2044337617 cites W1598625331 @default.
- W2044337617 cites W2019994514 @default.
- W2044337617 cites W2038945974 @default.
- W2044337617 cites W2089387242 @default.
- W2044337617 cites W2100738443 @default.
- W2044337617 cites W4210732998 @default.
- W2044337617 cites W4211019237 @default.
- W2044337617 cites W4213232664 @default.
- W2044337617 doi "https://doi.org/10.1049/sej.1988.0018" @default.
- W2044337617 hasPublicationYear "1988" @default.
- W2044337617 type Work @default.
- W2044337617 sameAs 2044337617 @default.
- W2044337617 citedByCount "4" @default.
- W2044337617 countsByYear W20443376172013 @default.
- W2044337617 crossrefType "journal-article" @default.
- W2044337617 hasAuthorship W2044337617A5076454480 @default.
- W2044337617 hasConcept C11413529 @default.
- W2044337617 hasConcept C121332964 @default.
- W2044337617 hasConcept C136119220 @default.
- W2044337617 hasConcept C154690210 @default.
- W2044337617 hasConcept C199360897 @default.
- W2044337617 hasConcept C202444582 @default.
- W2044337617 hasConcept C33923547 @default.
- W2044337617 hasConcept C41008148 @default.
- W2044337617 hasConcept C61797465 @default.
- W2044337617 hasConcept C62520636 @default.
- W2044337617 hasConcept C80444323 @default.
- W2044337617 hasConcept C81721847 @default.
- W2044337617 hasConcept C96146094 @default.
- W2044337617 hasConceptScore W2044337617C11413529 @default.
- W2044337617 hasConceptScore W2044337617C121332964 @default.
- W2044337617 hasConceptScore W2044337617C136119220 @default.
- W2044337617 hasConceptScore W2044337617C154690210 @default.
- W2044337617 hasConceptScore W2044337617C199360897 @default.
- W2044337617 hasConceptScore W2044337617C202444582 @default.
- W2044337617 hasConceptScore W2044337617C33923547 @default.
- W2044337617 hasConceptScore W2044337617C41008148 @default.
- W2044337617 hasConceptScore W2044337617C61797465 @default.
- W2044337617 hasConceptScore W2044337617C62520636 @default.
- W2044337617 hasConceptScore W2044337617C80444323 @default.
- W2044337617 hasConceptScore W2044337617C81721847 @default.
- W2044337617 hasConceptScore W2044337617C96146094 @default.
- W2044337617 hasIssue "5" @default.
- W2044337617 hasLocation W20443376171 @default.
- W2044337617 hasOpenAccess W2044337617 @default.
- W2044337617 hasPrimaryLocation W20443376171 @default.
- W2044337617 hasRelatedWork W1516362967 @default.
- W2044337617 hasRelatedWork W1558613240 @default.
- W2044337617 hasRelatedWork W1560895966 @default.
- W2044337617 hasRelatedWork W1569472630 @default.
- W2044337617 hasRelatedWork W1600602839 @default.
- W2044337617 hasRelatedWork W1822809263 @default.
- W2044337617 hasRelatedWork W2010291760 @default.
- W2044337617 hasRelatedWork W4210498713 @default.
- W2044337617 hasRelatedWork W4251188553 @default.
- W2044337617 hasRelatedWork W2473250120 @default.
- W2044337617 hasVolume "3" @default.
- W2044337617 isParatext "false" @default.
- W2044337617 isRetracted "false" @default.
- W2044337617 magId "2044337617" @default.
- W2044337617 workType "article" @default.