Matches in SemOpenAlex for { <https://semopenalex.org/work/W2166528689> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2166528689 endingPage "246" @default.
- W2166528689 startingPage "228" @default.
- W2166528689 abstract "We consider the representable equational theory of binary relations, in a language expressing composition, converse, and lattice operations. By working directly with a presentation of relation expressions as graphs we are able to define a notion of reduction which is confluent and strongly normalizing and induces a notion of computable normal form for terms. This notion of reduction thus leads to a computational interpretation of the representable theory." @default.
- W2166528689 created "2016-06-24" @default.
- W2166528689 creator A5041698136 @default.
- W2166528689 creator A5046515488 @default.
- W2166528689 date "2006-08-01" @default.
- W2166528689 modified "2023-10-04" @default.
- W2166528689 title "Normal forms for binary relations" @default.
- W2166528689 cites W193616349 @default.
- W2166528689 cites W1964754311 @default.
- W2166528689 cites W1968814030 @default.
- W2166528689 cites W1975659026 @default.
- W2166528689 cites W1979101142 @default.
- W2166528689 cites W1993804761 @default.
- W2166528689 cites W2003839046 @default.
- W2166528689 cites W2006006495 @default.
- W2166528689 cites W2007142183 @default.
- W2166528689 cites W2018304344 @default.
- W2166528689 cites W2018944629 @default.
- W2166528689 cites W2023887522 @default.
- W2166528689 cites W2048616864 @default.
- W2166528689 cites W2052111967 @default.
- W2166528689 cites W2056240511 @default.
- W2166528689 cites W2073840571 @default.
- W2166528689 cites W2086747974 @default.
- W2166528689 cites W2987907651 @default.
- W2166528689 cites W1497897641 @default.
- W2166528689 doi "https://doi.org/10.1016/j.tcs.2006.03.023" @default.
- W2166528689 hasPublicationYear "2006" @default.
- W2166528689 type Work @default.
- W2166528689 sameAs 2166528689 @default.
- W2166528689 citedByCount "6" @default.
- W2166528689 countsByYear W21665286892012 @default.
- W2166528689 countsByYear W21665286892014 @default.
- W2166528689 countsByYear W21665286892019 @default.
- W2166528689 countsByYear W21665286892020 @default.
- W2166528689 crossrefType "journal-article" @default.
- W2166528689 hasAuthorship W2166528689A5041698136 @default.
- W2166528689 hasAuthorship W2166528689A5046515488 @default.
- W2166528689 hasBestOaLocation W21665286891 @default.
- W2166528689 hasConcept C111335779 @default.
- W2166528689 hasConcept C118615104 @default.
- W2166528689 hasConcept C136119220 @default.
- W2166528689 hasConcept C199360897 @default.
- W2166528689 hasConcept C202444582 @default.
- W2166528689 hasConcept C2524010 @default.
- W2166528689 hasConcept C2776809875 @default.
- W2166528689 hasConcept C33923547 @default.
- W2166528689 hasConcept C41008148 @default.
- W2166528689 hasConcept C48372109 @default.
- W2166528689 hasConcept C527412718 @default.
- W2166528689 hasConcept C65180967 @default.
- W2166528689 hasConcept C94375191 @default.
- W2166528689 hasConceptScore W2166528689C111335779 @default.
- W2166528689 hasConceptScore W2166528689C118615104 @default.
- W2166528689 hasConceptScore W2166528689C136119220 @default.
- W2166528689 hasConceptScore W2166528689C199360897 @default.
- W2166528689 hasConceptScore W2166528689C202444582 @default.
- W2166528689 hasConceptScore W2166528689C2524010 @default.
- W2166528689 hasConceptScore W2166528689C2776809875 @default.
- W2166528689 hasConceptScore W2166528689C33923547 @default.
- W2166528689 hasConceptScore W2166528689C41008148 @default.
- W2166528689 hasConceptScore W2166528689C48372109 @default.
- W2166528689 hasConceptScore W2166528689C527412718 @default.
- W2166528689 hasConceptScore W2166528689C65180967 @default.
- W2166528689 hasConceptScore W2166528689C94375191 @default.
- W2166528689 hasIssue "1-3" @default.
- W2166528689 hasLocation W21665286891 @default.
- W2166528689 hasLocation W21665286892 @default.
- W2166528689 hasLocation W21665286893 @default.
- W2166528689 hasOpenAccess W2166528689 @default.
- W2166528689 hasPrimaryLocation W21665286891 @default.
- W2166528689 hasRelatedWork W1581508527 @default.
- W2166528689 hasRelatedWork W1954846941 @default.
- W2166528689 hasRelatedWork W2046049376 @default.
- W2166528689 hasRelatedWork W2054597297 @default.
- W2166528689 hasRelatedWork W2061408630 @default.
- W2166528689 hasRelatedWork W2064847051 @default.
- W2166528689 hasRelatedWork W2102871301 @default.
- W2166528689 hasRelatedWork W2143249011 @default.
- W2166528689 hasRelatedWork W2353674355 @default.
- W2166528689 hasRelatedWork W7272699 @default.
- W2166528689 hasVolume "360" @default.
- W2166528689 isParatext "false" @default.
- W2166528689 isRetracted "false" @default.
- W2166528689 magId "2166528689" @default.
- W2166528689 workType "article" @default.