Matches in SemOpenAlex for { <https://semopenalex.org/work/W46261981> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W46261981 abstract "In the last chapter we presented a set of transformations BT complete for arbitrary equational theories E, but which were prohibitively inefficient. In this chapter we present a restricted version of BT, called T, which solves these problems, and prove its completeness." @default.
- W46261981 created "2016-06-24" @default.
- W46261981 creator A5037669120 @default.
- W46261981 date "1991-01-01" @default.
- W46261981 modified "2023-09-26" @default.
- W46261981 title "An Improved Set of Transformations" @default.
- W46261981 doi "https://doi.org/10.1007/978-1-4612-0435-0_6" @default.
- W46261981 hasPublicationYear "1991" @default.
- W46261981 type Work @default.
- W46261981 sameAs 46261981 @default.
- W46261981 citedByCount "0" @default.
- W46261981 crossrefType "book-chapter" @default.
- W46261981 hasAuthorship W46261981A5037669120 @default.
- W46261981 hasConcept C118615104 @default.
- W46261981 hasConcept C134306372 @default.
- W46261981 hasConcept C136119220 @default.
- W46261981 hasConcept C17231256 @default.
- W46261981 hasConcept C177264268 @default.
- W46261981 hasConcept C199343813 @default.
- W46261981 hasConcept C199360897 @default.
- W46261981 hasConcept C202444582 @default.
- W46261981 hasConcept C2777686260 @default.
- W46261981 hasConcept C33923547 @default.
- W46261981 hasConcept C41008148 @default.
- W46261981 hasConcept C71924100 @default.
- W46261981 hasConceptScore W46261981C118615104 @default.
- W46261981 hasConceptScore W46261981C134306372 @default.
- W46261981 hasConceptScore W46261981C136119220 @default.
- W46261981 hasConceptScore W46261981C17231256 @default.
- W46261981 hasConceptScore W46261981C177264268 @default.
- W46261981 hasConceptScore W46261981C199343813 @default.
- W46261981 hasConceptScore W46261981C199360897 @default.
- W46261981 hasConceptScore W46261981C202444582 @default.
- W46261981 hasConceptScore W46261981C2777686260 @default.
- W46261981 hasConceptScore W46261981C33923547 @default.
- W46261981 hasConceptScore W46261981C41008148 @default.
- W46261981 hasConceptScore W46261981C71924100 @default.
- W46261981 hasLocation W462619811 @default.
- W46261981 hasOpenAccess W46261981 @default.
- W46261981 hasPrimaryLocation W462619811 @default.
- W46261981 hasRelatedWork W1478627389 @default.
- W46261981 hasRelatedWork W1507020421 @default.
- W46261981 hasRelatedWork W1557124064 @default.
- W46261981 hasRelatedWork W1964186134 @default.
- W46261981 hasRelatedWork W2017027749 @default.
- W46261981 hasRelatedWork W2047492213 @default.
- W46261981 hasRelatedWork W2120977678 @default.
- W46261981 hasRelatedWork W2133259078 @default.
- W46261981 hasRelatedWork W2214108316 @default.
- W46261981 hasRelatedWork W2404629633 @default.
- W46261981 hasRelatedWork W2465053280 @default.
- W46261981 hasRelatedWork W2570115677 @default.
- W46261981 hasRelatedWork W2740800287 @default.
- W46261981 hasRelatedWork W2944442547 @default.
- W46261981 hasRelatedWork W2951174827 @default.
- W46261981 hasRelatedWork W2951663923 @default.
- W46261981 hasRelatedWork W313043026 @default.
- W46261981 hasRelatedWork W3137545899 @default.
- W46261981 hasRelatedWork W83011735 @default.
- W46261981 hasRelatedWork W2183200524 @default.
- W46261981 isParatext "false" @default.
- W46261981 isRetracted "false" @default.
- W46261981 magId "46261981" @default.
- W46261981 workType "book-chapter" @default.