Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503480448> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1503480448 endingPage "371" @default.
- W1503480448 startingPage "357" @default.
- W1503480448 abstract "In last RTA, we introduced the notion of probabilistic rewrite systems and we gave some conditions entailing termination of those systems within a finite mean number of reduction steps.Termination was considered under arbitrary unrestricted policies. Policies correspond to strategies for non-probabilistic rewrite systems.This is often natural or more useful to restrict policies to a subclass. We introduce the notion of positive almost sure termination under strategies, and we provide sufficient criteria to prove termination of a given probabilitic rewrite system under strategies. This is illustrated with several examples." @default.
- W1503480448 created "2016-06-24" @default.
- W1503480448 creator A5034814498 @default.
- W1503480448 creator A5067372819 @default.
- W1503480448 date "2006-01-01" @default.
- W1503480448 modified "2023-10-17" @default.
- W1503480448 title "Proving Positive Almost Sure Termination Under Strategies" @default.
- W1503480448 cites W1485650462 @default.
- W1503480448 cites W1494374840 @default.
- W1503480448 cites W1520619861 @default.
- W1503480448 cites W1544634046 @default.
- W1503480448 cites W1552533796 @default.
- W1503480448 cites W1552945655 @default.
- W1503480448 cites W1570171385 @default.
- W1503480448 cites W1605543919 @default.
- W1503480448 cites W1967141673 @default.
- W1503480448 cites W2018908462 @default.
- W1503480448 cites W2054940841 @default.
- W1503480448 cites W2065507854 @default.
- W1503480448 cites W2074625287 @default.
- W1503480448 cites W2081320273 @default.
- W1503480448 cites W2091188761 @default.
- W1503480448 cites W2134991157 @default.
- W1503480448 cites W2165161585 @default.
- W1503480448 cites W2337623929 @default.
- W1503480448 cites W4230919050 @default.
- W1503480448 doi "https://doi.org/10.1007/11805618_27" @default.
- W1503480448 hasPublicationYear "2006" @default.
- W1503480448 type Work @default.
- W1503480448 sameAs 1503480448 @default.
- W1503480448 citedByCount "8" @default.
- W1503480448 countsByYear W15034804482012 @default.
- W1503480448 countsByYear W15034804482018 @default.
- W1503480448 countsByYear W15034804482019 @default.
- W1503480448 countsByYear W15034804482021 @default.
- W1503480448 crossrefType "book-chapter" @default.
- W1503480448 hasAuthorship W1503480448A5034814498 @default.
- W1503480448 hasAuthorship W1503480448A5067372819 @default.
- W1503480448 hasConcept C111335779 @default.
- W1503480448 hasConcept C118615104 @default.
- W1503480448 hasConcept C154945302 @default.
- W1503480448 hasConcept C184264201 @default.
- W1503480448 hasConcept C2524010 @default.
- W1503480448 hasConcept C33923547 @default.
- W1503480448 hasConcept C41008148 @default.
- W1503480448 hasConcept C49937458 @default.
- W1503480448 hasConcept C80444323 @default.
- W1503480448 hasConceptScore W1503480448C111335779 @default.
- W1503480448 hasConceptScore W1503480448C118615104 @default.
- W1503480448 hasConceptScore W1503480448C154945302 @default.
- W1503480448 hasConceptScore W1503480448C184264201 @default.
- W1503480448 hasConceptScore W1503480448C2524010 @default.
- W1503480448 hasConceptScore W1503480448C33923547 @default.
- W1503480448 hasConceptScore W1503480448C41008148 @default.
- W1503480448 hasConceptScore W1503480448C49937458 @default.
- W1503480448 hasConceptScore W1503480448C80444323 @default.
- W1503480448 hasLocation W15034804481 @default.
- W1503480448 hasOpenAccess W1503480448 @default.
- W1503480448 hasPrimaryLocation W15034804481 @default.
- W1503480448 hasRelatedWork W1501302278 @default.
- W1503480448 hasRelatedWork W1575659177 @default.
- W1503480448 hasRelatedWork W1601455886 @default.
- W1503480448 hasRelatedWork W1603968847 @default.
- W1503480448 hasRelatedWork W1812247352 @default.
- W1503480448 hasRelatedWork W2538049348 @default.
- W1503480448 hasRelatedWork W2909011011 @default.
- W1503480448 hasRelatedWork W2958788635 @default.
- W1503480448 hasRelatedWork W3032668683 @default.
- W1503480448 hasRelatedWork W4290792893 @default.
- W1503480448 isParatext "false" @default.
- W1503480448 isRetracted "false" @default.
- W1503480448 magId "1503480448" @default.
- W1503480448 workType "book-chapter" @default.