Matches in SemOpenAlex for { <https://semopenalex.org/work/W1559924654> ?p ?o ?g. }
- W1559924654 endingPage "312" @default.
- W1559924654 startingPage "290" @default.
- W1559924654 abstract "This paper introduces a semantics for rewriting that is independent of the data being rewritten and which, nevertheless, models key concepts such as substitution which are central to rewriting algorithms. We demonstrate the naturalness of this construction by showing how it mirrors the usual treatment of algebraic theories as coequalizers of monads. We also demonstrate its naturalness by showing how it captures several canonical forms of rewriting." @default.
- W1559924654 created "2016-06-24" @default.
- W1559924654 creator A5044225957 @default.
- W1559924654 creator A5081578222 @default.
- W1559924654 date "2003-12-01" @default.
- W1559924654 modified "2023-09-24" @default.
- W1559924654 title "Rewriting via coinserters" @default.
- W1559924654 cites W115669730 @default.
- W1559924654 cites W1535796526 @default.
- W1559924654 cites W1538555558 @default.
- W1559924654 cites W1545078593 @default.
- W1559924654 cites W1571133040 @default.
- W1559924654 cites W1583295953 @default.
- W1559924654 cites W1595870841 @default.
- W1559924654 cites W1603169021 @default.
- W1559924654 cites W171141860 @default.
- W1559924654 cites W1884279423 @default.
- W1559924654 cites W1968386045 @default.
- W1559924654 cites W1988982133 @default.
- W1559924654 cites W1998546360 @default.
- W1559924654 cites W2075406361 @default.
- W1559924654 cites W2079655821 @default.
- W1559924654 cites W2090223152 @default.
- W1559924654 cites W2104165814 @default.
- W1559924654 cites W2123887510 @default.
- W1559924654 cites W2126018011 @default.
- W1559924654 cites W2130486716 @default.
- W1559924654 cites W2156876717 @default.
- W1559924654 cites W28982023 @default.
- W1559924654 cites W2914339009 @default.
- W1559924654 cites W583126019 @default.
- W1559924654 hasPublicationYear "2003" @default.
- W1559924654 type Work @default.
- W1559924654 sameAs 1559924654 @default.
- W1559924654 citedByCount "2" @default.
- W1559924654 countsByYear W15599246542012 @default.
- W1559924654 crossrefType "journal-article" @default.
- W1559924654 hasAuthorship W1559924654A5044225957 @default.
- W1559924654 hasAuthorship W1559924654A5081578222 @default.
- W1559924654 hasConcept C109214941 @default.
- W1559924654 hasConcept C121332964 @default.
- W1559924654 hasConcept C134306372 @default.
- W1559924654 hasConcept C134537474 @default.
- W1559924654 hasConcept C136119220 @default.
- W1559924654 hasConcept C154690210 @default.
- W1559924654 hasConcept C184337299 @default.
- W1559924654 hasConcept C199360897 @default.
- W1559924654 hasConcept C202444582 @default.
- W1559924654 hasConcept C26517878 @default.
- W1559924654 hasConcept C2778220771 @default.
- W1559924654 hasConcept C33923547 @default.
- W1559924654 hasConcept C38652104 @default.
- W1559924654 hasConcept C41008148 @default.
- W1559924654 hasConcept C77906462 @default.
- W1559924654 hasConcept C80444323 @default.
- W1559924654 hasConcept C9376300 @default.
- W1559924654 hasConceptScore W1559924654C109214941 @default.
- W1559924654 hasConceptScore W1559924654C121332964 @default.
- W1559924654 hasConceptScore W1559924654C134306372 @default.
- W1559924654 hasConceptScore W1559924654C134537474 @default.
- W1559924654 hasConceptScore W1559924654C136119220 @default.
- W1559924654 hasConceptScore W1559924654C154690210 @default.
- W1559924654 hasConceptScore W1559924654C184337299 @default.
- W1559924654 hasConceptScore W1559924654C199360897 @default.
- W1559924654 hasConceptScore W1559924654C202444582 @default.
- W1559924654 hasConceptScore W1559924654C26517878 @default.
- W1559924654 hasConceptScore W1559924654C2778220771 @default.
- W1559924654 hasConceptScore W1559924654C33923547 @default.
- W1559924654 hasConceptScore W1559924654C38652104 @default.
- W1559924654 hasConceptScore W1559924654C41008148 @default.
- W1559924654 hasConceptScore W1559924654C77906462 @default.
- W1559924654 hasConceptScore W1559924654C80444323 @default.
- W1559924654 hasConceptScore W1559924654C9376300 @default.
- W1559924654 hasIssue "4" @default.
- W1559924654 hasLocation W15599246541 @default.
- W1559924654 hasOpenAccess W1559924654 @default.
- W1559924654 hasPrimaryLocation W15599246541 @default.
- W1559924654 hasRelatedWork W1140833825 @default.
- W1559924654 hasRelatedWork W1481928389 @default.
- W1559924654 hasRelatedWork W1521014576 @default.
- W1559924654 hasRelatedWork W1538233900 @default.
- W1559924654 hasRelatedWork W1820801715 @default.
- W1559924654 hasRelatedWork W1832683456 @default.
- W1559924654 hasRelatedWork W1852177911 @default.
- W1559924654 hasRelatedWork W1975082667 @default.
- W1559924654 hasRelatedWork W1994376732 @default.
- W1559924654 hasRelatedWork W2092614790 @default.
- W1559924654 hasRelatedWork W2123887510 @default.
- W1559924654 hasRelatedWork W2164262222 @default.
- W1559924654 hasRelatedWork W2164893440 @default.
- W1559924654 hasRelatedWork W2279573819 @default.
- W1559924654 hasRelatedWork W2309962911 @default.
- W1559924654 hasRelatedWork W2413857186 @default.
- W1559924654 hasRelatedWork W2938952696 @default.
- W1559924654 hasRelatedWork W2949452096 @default.
- W1559924654 hasRelatedWork W2963951024 @default.
- W1559924654 hasRelatedWork W3179983169 @default.
- W1559924654 hasVolume "10" @default.