Matches in SemOpenAlex for { <https://semopenalex.org/work/W1545493791> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1545493791 endingPage "110" @default.
- W1545493791 startingPage "87" @default.
- W1545493791 abstract "This paper gives an operational semantics of priority term rewriting systems (PRSs) by using conditional systems, whose reduction relation is decidable and stable under substitution. We also define the class of strongly sequential PRSs and show that this class is decidable. Moreover, we show that the index rewriting of strongly sequential PRSs gives a normalizing strategy." @default.
- W1545493791 created "2016-06-24" @default.
- W1545493791 creator A5008183055 @default.
- W1545493791 creator A5054861254 @default.
- W1545493791 date "1998-11-01" @default.
- W1545493791 modified "2023-09-29" @default.
- W1545493791 title "Semantics and strong sequentiality of priority term rewriting systems" @default.
- W1545493791 cites W1520096901 @default.
- W1545493791 cites W1543641760 @default.
- W1545493791 cites W1559211365 @default.
- W1545493791 cites W1560050980 @default.
- W1545493791 cites W1602067282 @default.
- W1545493791 cites W1912755259 @default.
- W1545493791 cites W1979101142 @default.
- W1545493791 cites W2056239109 @default.
- W1545493791 cites W20773390 @default.
- W1545493791 cites W2105803012 @default.
- W1545493791 cites W2105902548 @default.
- W1545493791 cites W2108414354 @default.
- W1545493791 cites W2126018011 @default.
- W1545493791 cites W2128313764 @default.
- W1545493791 cites W2132750992 @default.
- W1545493791 cites W2157756891 @default.
- W1545493791 cites W2158205039 @default.
- W1545493791 cites W2167843643 @default.
- W1545493791 cites W2912431422 @default.
- W1545493791 cites W2912818154 @default.
- W1545493791 cites W3022794709 @default.
- W1545493791 doi "https://doi.org/10.1016/s0304-3975(98)00080-2" @default.
- W1545493791 hasPublicationYear "1998" @default.
- W1545493791 type Work @default.
- W1545493791 sameAs 1545493791 @default.
- W1545493791 citedByCount "6" @default.
- W1545493791 countsByYear W15454937912013 @default.
- W1545493791 crossrefType "journal-article" @default.
- W1545493791 hasAuthorship W1545493791A5008183055 @default.
- W1545493791 hasAuthorship W1545493791A5054861254 @default.
- W1545493791 hasBestOaLocation W15454937912 @default.
- W1545493791 hasConcept C111335779 @default.
- W1545493791 hasConcept C121332964 @default.
- W1545493791 hasConcept C153269930 @default.
- W1545493791 hasConcept C154690210 @default.
- W1545493791 hasConcept C154945302 @default.
- W1545493791 hasConcept C156325763 @default.
- W1545493791 hasConcept C184337299 @default.
- W1545493791 hasConcept C199360897 @default.
- W1545493791 hasConcept C2524010 @default.
- W1545493791 hasConcept C25343380 @default.
- W1545493791 hasConcept C2777212361 @default.
- W1545493791 hasConcept C33923547 @default.
- W1545493791 hasConcept C41008148 @default.
- W1545493791 hasConcept C61797465 @default.
- W1545493791 hasConcept C62520636 @default.
- W1545493791 hasConcept C77088390 @default.
- W1545493791 hasConcept C77906462 @default.
- W1545493791 hasConcept C80444323 @default.
- W1545493791 hasConceptScore W1545493791C111335779 @default.
- W1545493791 hasConceptScore W1545493791C121332964 @default.
- W1545493791 hasConceptScore W1545493791C153269930 @default.
- W1545493791 hasConceptScore W1545493791C154690210 @default.
- W1545493791 hasConceptScore W1545493791C154945302 @default.
- W1545493791 hasConceptScore W1545493791C156325763 @default.
- W1545493791 hasConceptScore W1545493791C184337299 @default.
- W1545493791 hasConceptScore W1545493791C199360897 @default.
- W1545493791 hasConceptScore W1545493791C2524010 @default.
- W1545493791 hasConceptScore W1545493791C25343380 @default.
- W1545493791 hasConceptScore W1545493791C2777212361 @default.
- W1545493791 hasConceptScore W1545493791C33923547 @default.
- W1545493791 hasConceptScore W1545493791C41008148 @default.
- W1545493791 hasConceptScore W1545493791C61797465 @default.
- W1545493791 hasConceptScore W1545493791C62520636 @default.
- W1545493791 hasConceptScore W1545493791C77088390 @default.
- W1545493791 hasConceptScore W1545493791C77906462 @default.
- W1545493791 hasConceptScore W1545493791C80444323 @default.
- W1545493791 hasIssue "1-2" @default.
- W1545493791 hasLocation W15454937911 @default.
- W1545493791 hasLocation W15454937912 @default.
- W1545493791 hasOpenAccess W1545493791 @default.
- W1545493791 hasPrimaryLocation W15454937911 @default.
- W1545493791 hasRelatedWork W1542464114 @default.
- W1545493791 hasRelatedWork W1545493791 @default.
- W1545493791 hasRelatedWork W16617677 @default.
- W1545493791 hasRelatedWork W2036985061 @default.
- W1545493791 hasRelatedWork W2044745196 @default.
- W1545493791 hasRelatedWork W2045216220 @default.
- W1545493791 hasRelatedWork W2132524963 @default.
- W1545493791 hasRelatedWork W2171284891 @default.
- W1545493791 hasRelatedWork W4210495575 @default.
- W1545493791 hasRelatedWork W1744983872 @default.
- W1545493791 hasVolume "208" @default.
- W1545493791 isParatext "false" @default.
- W1545493791 isRetracted "false" @default.
- W1545493791 magId "1545493791" @default.
- W1545493791 workType "article" @default.