Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112874000> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W2112874000 endingPage "312" @default.
- W2112874000 startingPage "289" @default.
- W2112874000 abstract "We study the semantics of term rewriting systems with rule priorities (PRS), as introduced in Baeten et al. (1989). Three open problems posed in that paper are solved, by giving counter examples. Moreover, a class of executable PRSs is identified. A translation of PRSs into transition system specifications (TSS) is given. This translation introduces negative premises. We prove that the translation preserves the operational semantics." @default.
- W2112874000 created "2016-06-24" @default.
- W2112874000 creator A5012697499 @default.
- W2112874000 date "1998-06-01" @default.
- W2112874000 modified "2023-09-27" @default.
- W2112874000 title "Operational semantics of rewriting with priorities" @default.
- W2112874000 cites W1551622500 @default.
- W2112874000 cites W1558512361 @default.
- W2112874000 cites W1559211365 @default.
- W2112874000 cites W1969947545 @default.
- W2112874000 cites W2029916142 @default.
- W2112874000 cites W2105803012 @default.
- W2112874000 cites W2106100969 @default.
- W2112874000 cites W2171572532 @default.
- W2112874000 doi "https://doi.org/10.1016/s0304-3975(97)00283-1" @default.
- W2112874000 hasPublicationYear "1998" @default.
- W2112874000 type Work @default.
- W2112874000 sameAs 2112874000 @default.
- W2112874000 citedByCount "12" @default.
- W2112874000 countsByYear W21128740002013 @default.
- W2112874000 crossrefType "journal-article" @default.
- W2112874000 hasAuthorship W2112874000A5012697499 @default.
- W2112874000 hasBestOaLocation W21128740001 @default.
- W2112874000 hasConcept C146499914 @default.
- W2112874000 hasConcept C154690210 @default.
- W2112874000 hasConcept C156325763 @default.
- W2112874000 hasConcept C184337299 @default.
- W2112874000 hasConcept C199360897 @default.
- W2112874000 hasConcept C41008148 @default.
- W2112874000 hasConcept C77906462 @default.
- W2112874000 hasConcept C80444323 @default.
- W2112874000 hasConceptScore W2112874000C146499914 @default.
- W2112874000 hasConceptScore W2112874000C154690210 @default.
- W2112874000 hasConceptScore W2112874000C156325763 @default.
- W2112874000 hasConceptScore W2112874000C184337299 @default.
- W2112874000 hasConceptScore W2112874000C199360897 @default.
- W2112874000 hasConceptScore W2112874000C41008148 @default.
- W2112874000 hasConceptScore W2112874000C77906462 @default.
- W2112874000 hasConceptScore W2112874000C80444323 @default.
- W2112874000 hasIssue "1-2" @default.
- W2112874000 hasLocation W21128740001 @default.
- W2112874000 hasOpenAccess W2112874000 @default.
- W2112874000 hasPrimaryLocation W21128740001 @default.
- W2112874000 hasRelatedWork W1539155578 @default.
- W2112874000 hasRelatedWork W1569780408 @default.
- W2112874000 hasRelatedWork W2030762481 @default.
- W2112874000 hasRelatedWork W2045216220 @default.
- W2112874000 hasRelatedWork W2140308057 @default.
- W2112874000 hasRelatedWork W2153540278 @default.
- W2112874000 hasRelatedWork W2300079627 @default.
- W2112874000 hasRelatedWork W25522584 @default.
- W2112874000 hasRelatedWork W27605384 @default.
- W2112874000 hasRelatedWork W1744983872 @default.
- W2112874000 hasVolume "200" @default.
- W2112874000 isParatext "false" @default.
- W2112874000 isRetracted "false" @default.
- W2112874000 magId "2112874000" @default.
- W2112874000 workType "article" @default.