Matches in SemOpenAlex for { <https://semopenalex.org/work/W3027318171> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3027318171 endingPage "735" @default.
- W3027318171 startingPage "710" @default.
- W3027318171 abstract "Abstract We consider matching, rewriting, critical pairs and the Knuth–Bendix confluence test on rewrite rules in a nominal setting extended by atom-variables. We utilize atom-variables instead of atoms to formulate and rewrite rules on constrained expressions, which is an improvement of expressiveness over previous approaches. Nominal unification and nominal matching are correspondingly extended. Rewriting is performed using nominal matching, and computing critical pairs is done using nominal unification. We determine the complexity of several problems in a quantified freshness logic. In particular we show that nominal matching is $$prod _2^p$$ -complete. We prove that the adapted Knuth–Bendix confluence test is applicable to a nominal rewrite system with atom-variables, and thus that there is a decidable test whether confluence of the ground instance of the abstract rewrite system holds. We apply the nominal Knuth–Bendix confluence criterion to the theory of monads and compute a convergent nominal rewrite system modulo alpha-equivalence." @default.
- W3027318171 created "2020-05-29" @default.
- W3027318171 creator A5016539119 @default.
- W3027318171 creator A5077402022 @default.
- W3027318171 date "2020-05-22" @default.
- W3027318171 modified "2023-10-16" @default.
- W3027318171 title "Rewriting with generalized nominal unification" @default.
- W3027318171 cites W1796293478 @default.
- W3027318171 cites W2017115013 @default.
- W3027318171 cites W2024790008 @default.
- W3027318171 cites W2030663607 @default.
- W3027318171 cites W2032980026 @default.
- W3027318171 cites W2037026294 @default.
- W3027318171 cites W2093441082 @default.
- W3027318171 cites W2136202785 @default.
- W3027318171 cites W2343018180 @default.
- W3027318171 cites W2463026518 @default.
- W3027318171 cites W2504157767 @default.
- W3027318171 cites W2746059395 @default.
- W3027318171 cites W2763665294 @default.
- W3027318171 cites W2795931429 @default.
- W3027318171 cites W2911271085 @default.
- W3027318171 cites W2912255765 @default.
- W3027318171 cites W2914480101 @default.
- W3027318171 cites W2969292305 @default.
- W3027318171 cites W3020665690 @default.
- W3027318171 cites W3141445605 @default.
- W3027318171 cites W4236536733 @default.
- W3027318171 cites W4245071229 @default.
- W3027318171 doi "https://doi.org/10.1017/s0960129520000122" @default.
- W3027318171 hasPublicationYear "2020" @default.
- W3027318171 type Work @default.
- W3027318171 sameAs 3027318171 @default.
- W3027318171 citedByCount "3" @default.
- W3027318171 countsByYear W30273181712021 @default.
- W3027318171 countsByYear W30273181712022 @default.
- W3027318171 crossrefType "journal-article" @default.
- W3027318171 hasAuthorship W3027318171A5016539119 @default.
- W3027318171 hasAuthorship W3027318171A5077402022 @default.
- W3027318171 hasBestOaLocation W30273181712 @default.
- W3027318171 hasConcept C11413529 @default.
- W3027318171 hasConcept C118615104 @default.
- W3027318171 hasConcept C153269930 @default.
- W3027318171 hasConcept C154690210 @default.
- W3027318171 hasConcept C199360897 @default.
- W3027318171 hasConcept C2780069185 @default.
- W3027318171 hasConcept C33923547 @default.
- W3027318171 hasConcept C41008148 @default.
- W3027318171 hasConcept C54732982 @default.
- W3027318171 hasConcept C77906462 @default.
- W3027318171 hasConcept C96146094 @default.
- W3027318171 hasConceptScore W3027318171C11413529 @default.
- W3027318171 hasConceptScore W3027318171C118615104 @default.
- W3027318171 hasConceptScore W3027318171C153269930 @default.
- W3027318171 hasConceptScore W3027318171C154690210 @default.
- W3027318171 hasConceptScore W3027318171C199360897 @default.
- W3027318171 hasConceptScore W3027318171C2780069185 @default.
- W3027318171 hasConceptScore W3027318171C33923547 @default.
- W3027318171 hasConceptScore W3027318171C41008148 @default.
- W3027318171 hasConceptScore W3027318171C54732982 @default.
- W3027318171 hasConceptScore W3027318171C77906462 @default.
- W3027318171 hasConceptScore W3027318171C96146094 @default.
- W3027318171 hasIssue "6" @default.
- W3027318171 hasLocation W30273181711 @default.
- W3027318171 hasLocation W30273181712 @default.
- W3027318171 hasOpenAccess W3027318171 @default.
- W3027318171 hasPrimaryLocation W30273181711 @default.
- W3027318171 hasRelatedWork W1512890622 @default.
- W3027318171 hasRelatedWork W1537814056 @default.
- W3027318171 hasRelatedWork W1587932751 @default.
- W3027318171 hasRelatedWork W1976557413 @default.
- W3027318171 hasRelatedWork W1985537797 @default.
- W3027318171 hasRelatedWork W2023356641 @default.
- W3027318171 hasRelatedWork W3027318171 @default.
- W3027318171 hasRelatedWork W4312716460 @default.
- W3027318171 hasRelatedWork W572432674 @default.
- W3027318171 hasRelatedWork W3083296779 @default.
- W3027318171 hasVolume "30" @default.
- W3027318171 isParatext "false" @default.
- W3027318171 isRetracted "false" @default.
- W3027318171 magId "3027318171" @default.
- W3027318171 workType "article" @default.