Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014657676> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2014657676 endingPage "829" @default.
- W2014657676 startingPage "812" @default.
- W2014657676 abstract "Restating a unification problem as a single relational substitution instead of as multiple functional substitutions (or terms), a solution becomes a “determiniser” arrow and allows formalisation in the context of locally ordered categories with domain. This relies on the determinacy concept of “characterisation by domain” introduced by Desharnais and Möller for Kleene algebras with domain; this is here applied in the weakest possible setting. We show how “most general determinisers” can be seen as generalisation of quotient projections of partial equivalence relations, and show a characterisation that manages to avoid using converse or symmetry by employing restricted residuals instead." @default.
- W2014657676 created "2016-06-24" @default.
- W2014657676 creator A5085148280 @default.
- W2014657676 date "2010-11-01" @default.
- W2014657676 modified "2023-10-16" @default.
- W2014657676 title "Determinisation of relational substitutions in ordered categories with domain" @default.
- W2014657676 cites W106024095 @default.
- W2014657676 cites W1509531246 @default.
- W2014657676 cites W1511558928 @default.
- W2014657676 cites W1518596617 @default.
- W2014657676 cites W1559188380 @default.
- W2014657676 cites W1569438344 @default.
- W2014657676 cites W1571615440 @default.
- W2014657676 cites W1594475705 @default.
- W2014657676 cites W1596026002 @default.
- W2014657676 cites W1763199018 @default.
- W2014657676 cites W1841573468 @default.
- W2014657676 cites W1975831115 @default.
- W2014657676 cites W2009265696 @default.
- W2014657676 cites W2012119024 @default.
- W2014657676 cites W2044475951 @default.
- W2014657676 cites W2056677058 @default.
- W2014657676 cites W2068047345 @default.
- W2014657676 cites W2081706307 @default.
- W2014657676 cites W2085133105 @default.
- W2014657676 cites W2102396151 @default.
- W2014657676 cites W2107674601 @default.
- W2014657676 cites W2144973245 @default.
- W2014657676 cites W2246402416 @default.
- W2014657676 cites W79225727 @default.
- W2014657676 doi "https://doi.org/10.1016/j.jlap.2010.07.017" @default.
- W2014657676 hasPublicationYear "2010" @default.
- W2014657676 type Work @default.
- W2014657676 sameAs 2014657676 @default.
- W2014657676 citedByCount "1" @default.
- W2014657676 crossrefType "journal-article" @default.
- W2014657676 hasAuthorship W2014657676A5085148280 @default.
- W2014657676 hasConcept C118615104 @default.
- W2014657676 hasConcept C134306372 @default.
- W2014657676 hasConcept C136119220 @default.
- W2014657676 hasConcept C151730666 @default.
- W2014657676 hasConcept C199360897 @default.
- W2014657676 hasConcept C199422724 @default.
- W2014657676 hasConcept C202444582 @default.
- W2014657676 hasConcept C2524010 @default.
- W2014657676 hasConcept C2776809875 @default.
- W2014657676 hasConcept C2777044963 @default.
- W2014657676 hasConcept C2778220771 @default.
- W2014657676 hasConcept C2779343474 @default.
- W2014657676 hasConcept C2780069185 @default.
- W2014657676 hasConcept C2780339515 @default.
- W2014657676 hasConcept C29585364 @default.
- W2014657676 hasConcept C33923547 @default.
- W2014657676 hasConcept C36503486 @default.
- W2014657676 hasConcept C41008148 @default.
- W2014657676 hasConcept C58468513 @default.
- W2014657676 hasConcept C86803240 @default.
- W2014657676 hasConcept C96146094 @default.
- W2014657676 hasConceptScore W2014657676C118615104 @default.
- W2014657676 hasConceptScore W2014657676C134306372 @default.
- W2014657676 hasConceptScore W2014657676C136119220 @default.
- W2014657676 hasConceptScore W2014657676C151730666 @default.
- W2014657676 hasConceptScore W2014657676C199360897 @default.
- W2014657676 hasConceptScore W2014657676C199422724 @default.
- W2014657676 hasConceptScore W2014657676C202444582 @default.
- W2014657676 hasConceptScore W2014657676C2524010 @default.
- W2014657676 hasConceptScore W2014657676C2776809875 @default.
- W2014657676 hasConceptScore W2014657676C2777044963 @default.
- W2014657676 hasConceptScore W2014657676C2778220771 @default.
- W2014657676 hasConceptScore W2014657676C2779343474 @default.
- W2014657676 hasConceptScore W2014657676C2780069185 @default.
- W2014657676 hasConceptScore W2014657676C2780339515 @default.
- W2014657676 hasConceptScore W2014657676C29585364 @default.
- W2014657676 hasConceptScore W2014657676C33923547 @default.
- W2014657676 hasConceptScore W2014657676C36503486 @default.
- W2014657676 hasConceptScore W2014657676C41008148 @default.
- W2014657676 hasConceptScore W2014657676C58468513 @default.
- W2014657676 hasConceptScore W2014657676C86803240 @default.
- W2014657676 hasConceptScore W2014657676C96146094 @default.
- W2014657676 hasIssue "8" @default.
- W2014657676 hasLocation W20146576761 @default.
- W2014657676 hasOpenAccess W2014657676 @default.
- W2014657676 hasPrimaryLocation W20146576761 @default.
- W2014657676 hasRelatedWork W1985488429 @default.
- W2014657676 hasRelatedWork W2014657676 @default.
- W2014657676 hasRelatedWork W2046049376 @default.
- W2014657676 hasRelatedWork W2062762081 @default.
- W2014657676 hasRelatedWork W2064847051 @default.
- W2014657676 hasRelatedWork W2113767142 @default.
- W2014657676 hasRelatedWork W2963456550 @default.
- W2014657676 hasRelatedWork W3106160409 @default.
- W2014657676 hasRelatedWork W3191517299 @default.
- W2014657676 hasRelatedWork W4249580765 @default.
- W2014657676 hasVolume "79" @default.
- W2014657676 isParatext "false" @default.
- W2014657676 isRetracted "false" @default.
- W2014657676 magId "2014657676" @default.
- W2014657676 workType "article" @default.