Matches in SemOpenAlex for { <https://semopenalex.org/work/W1912755259> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1912755259 abstract "We study the semantics of term rewriting systems with rule priorities(PRS), as introduced in [1]. Three open problems posed in that paper aresolved, by giving counter examples. Moreover, a class of executable PRSs isidentified. A translation of PRSs into transition system specifications (TSS)is given. This translation introduces negative premises. We prove that thetranslation preserves the operational semantics." @default.
- W1912755259 created "2016-06-24" @default.
- W1912755259 creator A5012697499 @default.
- W1912755259 date "1996-01-01" @default.
- W1912755259 modified "2023-09-23" @default.
- W1912755259 title "Operational semantics of term rewriting with priorities" @default.
- W1912755259 hasPublicationYear "1996" @default.
- W1912755259 type Work @default.
- W1912755259 sameAs 1912755259 @default.
- W1912755259 citedByCount "1" @default.
- W1912755259 crossrefType "journal-article" @default.
- W1912755259 hasAuthorship W1912755259A5012697499 @default.
- W1912755259 hasConcept C104317684 @default.
- W1912755259 hasConcept C105580179 @default.
- W1912755259 hasConcept C121332964 @default.
- W1912755259 hasConcept C149364088 @default.
- W1912755259 hasConcept C154690210 @default.
- W1912755259 hasConcept C154945302 @default.
- W1912755259 hasConcept C156325763 @default.
- W1912755259 hasConcept C160145156 @default.
- W1912755259 hasConcept C184337299 @default.
- W1912755259 hasConcept C185592680 @default.
- W1912755259 hasConcept C199360897 @default.
- W1912755259 hasConcept C2777212361 @default.
- W1912755259 hasConcept C41008148 @default.
- W1912755259 hasConcept C55493867 @default.
- W1912755259 hasConcept C61797465 @default.
- W1912755259 hasConcept C62520636 @default.
- W1912755259 hasConceptScore W1912755259C104317684 @default.
- W1912755259 hasConceptScore W1912755259C105580179 @default.
- W1912755259 hasConceptScore W1912755259C121332964 @default.
- W1912755259 hasConceptScore W1912755259C149364088 @default.
- W1912755259 hasConceptScore W1912755259C154690210 @default.
- W1912755259 hasConceptScore W1912755259C154945302 @default.
- W1912755259 hasConceptScore W1912755259C156325763 @default.
- W1912755259 hasConceptScore W1912755259C160145156 @default.
- W1912755259 hasConceptScore W1912755259C184337299 @default.
- W1912755259 hasConceptScore W1912755259C185592680 @default.
- W1912755259 hasConceptScore W1912755259C199360897 @default.
- W1912755259 hasConceptScore W1912755259C2777212361 @default.
- W1912755259 hasConceptScore W1912755259C41008148 @default.
- W1912755259 hasConceptScore W1912755259C55493867 @default.
- W1912755259 hasConceptScore W1912755259C61797465 @default.
- W1912755259 hasConceptScore W1912755259C62520636 @default.
- W1912755259 hasIssue "162" @default.
- W1912755259 hasLocation W19127552591 @default.
- W1912755259 hasOpenAccess W1912755259 @default.
- W1912755259 hasPrimaryLocation W19127552591 @default.
- W1912755259 hasRelatedWork W1500649746 @default.
- W1912755259 hasRelatedWork W1551098165 @default.
- W1912755259 hasRelatedWork W176905816 @default.
- W1912755259 hasRelatedWork W1899640703 @default.
- W1912755259 hasRelatedWork W1919615793 @default.
- W1912755259 hasRelatedWork W1932534967 @default.
- W1912755259 hasRelatedWork W2016262003 @default.
- W1912755259 hasRelatedWork W2034484223 @default.
- W1912755259 hasRelatedWork W2053867970 @default.
- W1912755259 hasRelatedWork W2058402932 @default.
- W1912755259 hasRelatedWork W2059589881 @default.
- W1912755259 hasRelatedWork W2084634047 @default.
- W1912755259 hasRelatedWork W2154580607 @default.
- W1912755259 hasRelatedWork W2203094948 @default.
- W1912755259 hasRelatedWork W2417030643 @default.
- W1912755259 hasRelatedWork W2533540073 @default.
- W1912755259 hasRelatedWork W2594012524 @default.
- W1912755259 hasRelatedWork W2953354833 @default.
- W1912755259 hasRelatedWork W2975211285 @default.
- W1912755259 hasRelatedWork W2979224626 @default.
- W1912755259 hasVolume "162" @default.
- W1912755259 isParatext "false" @default.
- W1912755259 isRetracted "false" @default.
- W1912755259 magId "1912755259" @default.
- W1912755259 workType "article" @default.