FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788405769> ?p ?o ?g. }

• W2788405769 endingPage "148" @default.
• W2788405769 startingPage "132" @default.
• W2788405769 abstract "We study the termination problem for probabilistic term rewrite systems. We prove that the interpretation method is sound and complete for a strengthening of positive almost sure termination, when abstract reduction systems and term rewrite systems are considered. Two instances of the interpretation method—polynomial and matrix interpretations—are analyzed and shown to capture interesting and nontrivial examples when automated. We capture probabilistic computation in a novel way by means of multidistribution reduction sequences, thus accounting for both the nondeterminism in the choice of the redex and the probabilism intrinsic in firing each rule." @default.
• W2788405769 created "2018-03-06" @default.
• W2788405769 creator A5003947273 @default.
• W2788405769 creator A5048841494 @default.
• W2788405769 creator A5084450516 @default.
• W2788405769 date "2018-01-01" @default.
• W2788405769 modified "2023-09-27" @default.
• W2788405769 title "On Probabilistic Term Rewriting" @default.
• W2788405769 cites W1484559376 @default.
• W2788405769 cites W1503480448 @default.
• W2788405769 cites W1520619861 @default.
• W2788405769 cites W1591629320 @default.
• W2788405769 cites W1595069411 @default.
• W2788405769 cites W1605543919 @default.
• W2788405769 cites W1989335037 @default.
• W2788405769 cites W2043646456 @default.
• W2788405769 cites W2106265536 @default.
• W2788405769 cites W2136514805 @default.
• W2788405769 cites W2166496828 @default.
• W2788405769 cites W2183669711 @default.
• W2788405769 cites W2334782222 @default.
• W2788405769 cites W2435583538 @default.
• W2788405769 cites W2596582120 @default.
• W2788405769 cites W4212875940 @default.
• W2788405769 cites W4230919050 @default.
• W2788405769 cites W4244189384 @default.
• W2788405769 cites W4245558686 @default.
• W2788405769 doi "https://doi.org/10.1007/978-3-319-90686-7_9" @default.
• W2788405769 hasPublicationYear "2018" @default.
• W2788405769 type Work @default.
• W2788405769 sameAs 2788405769 @default.
• W2788405769 citedByCount "12" @default.
• W2788405769 countsByYear W27884057692018 @default.
• W2788405769 countsByYear W27884057692019 @default.
• W2788405769 countsByYear W27884057692020 @default.
• W2788405769 countsByYear W27884057692021 @default.
• W2788405769 countsByYear W27884057692022 @default.
• W2788405769 crossrefType "book-chapter" @default.
• W2788405769 hasAuthorship W2788405769A5003947273 @default.
• W2788405769 hasAuthorship W2788405769A5048841494 @default.
• W2788405769 hasAuthorship W2788405769A5084450516 @default.
• W2788405769 hasBestOaLocation W27884057693 @default.
• W2788405769 hasConcept C106487976 @default.
• W2788405769 hasConcept C111335779 @default.
• W2788405769 hasConcept C11413529 @default.
• W2788405769 hasConcept C121332964 @default.
• W2788405769 hasConcept C134306372 @default.
• W2788405769 hasConcept C136119220 @default.
• W2788405769 hasConcept C154690210 @default.
• W2788405769 hasConcept C154945302 @default.
• W2788405769 hasConcept C159985019 @default.
• W2788405769 hasConcept C192562407 @default.
• W2788405769 hasConcept C199360897 @default.
• W2788405769 hasConcept C202444582 @default.
• W2788405769 hasConcept C2524010 @default.
• W2788405769 hasConcept C33923547 @default.
• W2788405769 hasConcept C41008148 @default.
• W2788405769 hasConcept C45374587 @default.
• W2788405769 hasConcept C49937458 @default.
• W2788405769 hasConcept C527412718 @default.
• W2788405769 hasConcept C61797465 @default.
• W2788405769 hasConcept C62520636 @default.
• W2788405769 hasConcept C80444323 @default.
• W2788405769 hasConcept C90119067 @default.
• W2788405769 hasConceptScore W2788405769C106487976 @default.
• W2788405769 hasConceptScore W2788405769C111335779 @default.
• W2788405769 hasConceptScore W2788405769C11413529 @default.
• W2788405769 hasConceptScore W2788405769C121332964 @default.
• W2788405769 hasConceptScore W2788405769C134306372 @default.
• W2788405769 hasConceptScore W2788405769C136119220 @default.
• W2788405769 hasConceptScore W2788405769C154690210 @default.
• W2788405769 hasConceptScore W2788405769C154945302 @default.
• W2788405769 hasConceptScore W2788405769C159985019 @default.
• W2788405769 hasConceptScore W2788405769C192562407 @default.
• W2788405769 hasConceptScore W2788405769C199360897 @default.
• W2788405769 hasConceptScore W2788405769C202444582 @default.
• W2788405769 hasConceptScore W2788405769C2524010 @default.
• W2788405769 hasConceptScore W2788405769C33923547 @default.
• W2788405769 hasConceptScore W2788405769C41008148 @default.
• W2788405769 hasConceptScore W2788405769C45374587 @default.
• W2788405769 hasConceptScore W2788405769C49937458 @default.
• W2788405769 hasConceptScore W2788405769C527412718 @default.
• W2788405769 hasConceptScore W2788405769C61797465 @default.
• W2788405769 hasConceptScore W2788405769C62520636 @default.
• W2788405769 hasConceptScore W2788405769C80444323 @default.
• W2788405769 hasConceptScore W2788405769C90119067 @default.
• W2788405769 hasLocation W27884057691 @default.
• W2788405769 hasLocation W27884057692 @default.
• W2788405769 hasLocation W27884057693 @default.
• W2788405769 hasLocation W27884057694 @default.
• W2788405769 hasLocation W27884057695 @default.
• W2788405769 hasLocation W27884057696 @default.
• W2788405769 hasOpenAccess W2788405769 @default.
• W2788405769 hasPrimaryLocation W27884057691 @default.
• W2788405769 hasRelatedWork W2024875518 @default.
• W2788405769 hasRelatedWork W2050862278 @default.
• W2788405769 hasRelatedWork W2788405769 @default.
• W2788405769 hasRelatedWork W2885381454 @default.

• next