Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000028292> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2000028292 abstract "We describe and give the foundation for constrained equational reasoning. Equational reasoning is based on replacement of equal by equal and these replacements use substitutions determined as solutions of equations. Constrained equational reasoning takes advantage from the information contained into the equation itself to develop equational reasoning, avoids instantiations as much as possible and solve constraints as late as possible. For theories like associativity-commutativity this can lead to a considerable reduction of the substitution computation overhead, bringing some problems, untractable in practice, to the realm of computational reality." @default.
- W2000028292 created "2016-06-24" @default.
- W2000028292 creator A5034861143 @default.
- W2000028292 creator A5055776480 @default.
- W2000028292 date "1989-01-01" @default.
- W2000028292 modified "2023-09-23" @default.
- W2000028292 title "Constrained equational reasoning" @default.
- W2000028292 cites W1538192303 @default.
- W2000028292 cites W1548860908 @default.
- W2000028292 cites W1589182689 @default.
- W2000028292 cites W1589346249 @default.
- W2000028292 cites W1598625331 @default.
- W2000028292 cites W1600322695 @default.
- W2000028292 cites W1606504862 @default.
- W2000028292 cites W1740437405 @default.
- W2000028292 cites W174440544 @default.
- W2000028292 cites W1790940744 @default.
- W2000028292 cites W1918457989 @default.
- W2000028292 cites W1993370765 @default.
- W2000028292 cites W2033074970 @default.
- W2000028292 cites W2038945974 @default.
- W2000028292 cites W2042924775 @default.
- W2000028292 cites W2056016391 @default.
- W2000028292 cites W2061769298 @default.
- W2000028292 cites W2071228820 @default.
- W2000028292 cites W2118813891 @default.
- W2000028292 cites W2123396057 @default.
- W2000028292 cites W2164767950 @default.
- W2000028292 cites W2507006525 @default.
- W2000028292 cites W2913078623 @default.
- W2000028292 cites W3127823229 @default.
- W2000028292 doi "https://doi.org/10.1145/74540.74585" @default.
- W2000028292 hasPublicationYear "1989" @default.
- W2000028292 type Work @default.
- W2000028292 sameAs 2000028292 @default.
- W2000028292 citedByCount "24" @default.
- W2000028292 crossrefType "proceedings-article" @default.
- W2000028292 hasAuthorship W2000028292A5034861143 @default.
- W2000028292 hasAuthorship W2000028292A5055776480 @default.
- W2000028292 hasConcept C118615104 @default.
- W2000028292 hasConcept C136119220 @default.
- W2000028292 hasConcept C154564781 @default.
- W2000028292 hasConcept C154690210 @default.
- W2000028292 hasConcept C159423971 @default.
- W2000028292 hasConcept C183778304 @default.
- W2000028292 hasConcept C199360897 @default.
- W2000028292 hasConcept C202444582 @default.
- W2000028292 hasConcept C2778220771 @default.
- W2000028292 hasConcept C2779960059 @default.
- W2000028292 hasConcept C33923547 @default.
- W2000028292 hasConcept C41008148 @default.
- W2000028292 hasConcept C45374587 @default.
- W2000028292 hasConcept C80444323 @default.
- W2000028292 hasConceptScore W2000028292C118615104 @default.
- W2000028292 hasConceptScore W2000028292C136119220 @default.
- W2000028292 hasConceptScore W2000028292C154564781 @default.
- W2000028292 hasConceptScore W2000028292C154690210 @default.
- W2000028292 hasConceptScore W2000028292C159423971 @default.
- W2000028292 hasConceptScore W2000028292C183778304 @default.
- W2000028292 hasConceptScore W2000028292C199360897 @default.
- W2000028292 hasConceptScore W2000028292C202444582 @default.
- W2000028292 hasConceptScore W2000028292C2778220771 @default.
- W2000028292 hasConceptScore W2000028292C2779960059 @default.
- W2000028292 hasConceptScore W2000028292C33923547 @default.
- W2000028292 hasConceptScore W2000028292C41008148 @default.
- W2000028292 hasConceptScore W2000028292C45374587 @default.
- W2000028292 hasConceptScore W2000028292C80444323 @default.
- W2000028292 hasLocation W20000282921 @default.
- W2000028292 hasOpenAccess W2000028292 @default.
- W2000028292 hasPrimaryLocation W20000282921 @default.
- W2000028292 hasRelatedWork W11347103 @default.
- W2000028292 hasRelatedWork W157666995 @default.
- W2000028292 hasRelatedWork W2042924775 @default.
- W2000028292 hasRelatedWork W2123396057 @default.
- W2000028292 hasRelatedWork W1018453260 @default.
- W2000028292 hasRelatedWork W1032578945 @default.
- W2000028292 hasRelatedWork W1033347305 @default.
- W2000028292 hasRelatedWork W1042664593 @default.
- W2000028292 hasRelatedWork W114471129 @default.
- W2000028292 hasRelatedWork W1479958910 @default.
- W2000028292 hasRelatedWork W1483684120 @default.
- W2000028292 hasRelatedWork W1488239933 @default.
- W2000028292 hasRelatedWork W184096282 @default.
- W2000028292 hasRelatedWork W199903544 @default.
- W2000028292 hasRelatedWork W223301066 @default.
- W2000028292 hasRelatedWork W48975197 @default.
- W2000028292 hasRelatedWork W76608271 @default.
- W2000028292 hasRelatedWork W91401255 @default.
- W2000028292 hasRelatedWork W978238521 @default.
- W2000028292 hasRelatedWork W983843876 @default.
- W2000028292 isParatext "false" @default.
- W2000028292 isRetracted "false" @default.
- W2000028292 magId "2000028292" @default.
- W2000028292 workType "article" @default.