Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300606036> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4300606036 abstract "While a mature body of work supports the study of rewriting systems, abstract tools for Probabilistic Rewriting are still limited. In this paper we study the question of uniqueness of the result (unique limit distribution), and develop a set of proof techniques to analyze and compare reduction strategies. The goal is to have tools to support the operational analysis of probabilistic calculi (such as probabilistic lambda-calculi) where evaluation allows for different reduction choices (hence different reduction paths)." @default.
- W4300606036 created "2022-10-03" @default.
- W4300606036 creator A5028757410 @default.
- W4300606036 date "2018-04-16" @default.
- W4300606036 modified "2023-09-30" @default.
- W4300606036 title "Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms" @default.
- W4300606036 doi "https://doi.org/10.48550/arxiv.1804.05578" @default.
- W4300606036 hasPublicationYear "2018" @default.
- W4300606036 type Work @default.
- W4300606036 citedByCount "0" @default.
- W4300606036 crossrefType "posted-content" @default.
- W4300606036 hasAuthorship W4300606036A5028757410 @default.
- W4300606036 hasBestOaLocation W43006060361 @default.
- W4300606036 hasConcept C111335779 @default.
- W4300606036 hasConcept C11413529 @default.
- W4300606036 hasConcept C120665830 @default.
- W4300606036 hasConcept C121332964 @default.
- W4300606036 hasConcept C134306372 @default.
- W4300606036 hasConcept C151201525 @default.
- W4300606036 hasConcept C154690210 @default.
- W4300606036 hasConcept C154945302 @default.
- W4300606036 hasConcept C177264268 @default.
- W4300606036 hasConcept C199360897 @default.
- W4300606036 hasConcept C24404364 @default.
- W4300606036 hasConcept C2524010 @default.
- W4300606036 hasConcept C2777021972 @default.
- W4300606036 hasConcept C2778113609 @default.
- W4300606036 hasConcept C33923547 @default.
- W4300606036 hasConcept C41008148 @default.
- W4300606036 hasConcept C49937458 @default.
- W4300606036 hasConcept C56858530 @default.
- W4300606036 hasConcept C77906462 @default.
- W4300606036 hasConcept C80444323 @default.
- W4300606036 hasConceptScore W4300606036C111335779 @default.
- W4300606036 hasConceptScore W4300606036C11413529 @default.
- W4300606036 hasConceptScore W4300606036C120665830 @default.
- W4300606036 hasConceptScore W4300606036C121332964 @default.
- W4300606036 hasConceptScore W4300606036C134306372 @default.
- W4300606036 hasConceptScore W4300606036C151201525 @default.
- W4300606036 hasConceptScore W4300606036C154690210 @default.
- W4300606036 hasConceptScore W4300606036C154945302 @default.
- W4300606036 hasConceptScore W4300606036C177264268 @default.
- W4300606036 hasConceptScore W4300606036C199360897 @default.
- W4300606036 hasConceptScore W4300606036C24404364 @default.
- W4300606036 hasConceptScore W4300606036C2524010 @default.
- W4300606036 hasConceptScore W4300606036C2777021972 @default.
- W4300606036 hasConceptScore W4300606036C2778113609 @default.
- W4300606036 hasConceptScore W4300606036C33923547 @default.
- W4300606036 hasConceptScore W4300606036C41008148 @default.
- W4300606036 hasConceptScore W4300606036C49937458 @default.
- W4300606036 hasConceptScore W4300606036C56858530 @default.
- W4300606036 hasConceptScore W4300606036C77906462 @default.
- W4300606036 hasConceptScore W4300606036C80444323 @default.
- W4300606036 hasLocation W43006060361 @default.
- W4300606036 hasOpenAccess W4300606036 @default.
- W4300606036 hasPrimaryLocation W43006060361 @default.
- W4300606036 hasRelatedWork W2023919385 @default.
- W4300606036 hasRelatedWork W2047973569 @default.
- W4300606036 hasRelatedWork W2109494453 @default.
- W4300606036 hasRelatedWork W2131603512 @default.
- W4300606036 hasRelatedWork W2147688815 @default.
- W4300606036 hasRelatedWork W2953439578 @default.
- W4300606036 hasRelatedWork W3181186504 @default.
- W4300606036 hasRelatedWork W4226436121 @default.
- W4300606036 hasRelatedWork W4294224775 @default.
- W4300606036 hasRelatedWork W4300606036 @default.
- W4300606036 isParatext "false" @default.
- W4300606036 isRetracted "false" @default.
- W4300606036 workType "article" @default.