The following pages link to Term Rewriting and Applications (Q5703859):
Displaying 25 items.
- Learning probabilistic termination proofs (Q832245) (← links)
- On probabilistic term rewriting (Q1648879) (← links)
- Confluence and convergence in probabilistically terminating reduction systems (Q1671150) (← links)
- Confluence and convergence modulo equivalence in probabilistically terminating reduction systems (Q1726351) (← links)
- On the hardness of analyzing probabilistic programs (Q1733103) (← links)
- On randomised strategies in the \(\lambda \)-calculus (Q1989325) (← links)
- Inferring expected runtimes of probabilistic integer programs using expected sizes (Q2044203) (← links)
- Time-bounded termination analysis for probabilistic programs with delays (Q2216132) (← links)
- Correctness of sequential Monte Carlo inference for probabilistic programming languages (Q2233471) (← links)
- Automated termination analysis of polynomial probabilistic programs (Q2233477) (← links)
- Computing expected runtimes for constant probability programs (Q2305420) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- On Higher-Order Probabilistic Subrecursion (Q2988381) (← links)
- Probabilistic Termination by Monadic Affine Sized Typing (Q2988649) (← links)
- (Q5028447) (← links)
- (Q5129945) (← links)
- The probabilistic termination tool amber (Q6145021) (← links)
- Automated Expected Amortised Cost Analysis of Probabilistic Data Structures (Q6487331) (← links)
- On Lexicographic Proof Rules for Probabilistic Termination (Q6488476) (← links)
- Generative Datalog with continuous distributions (Q6551262) (← links)
- On lexicographic proof rules for probabilistic termination (Q6610383) (← links)
- From innermost to full almost-sure termination of probabilistic term rewriting (Q6629527) (← links)
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving (Q6639734) (← links)
- Quantum expectation transformers for cost analysis (Q6649439) (← links)
- A note on confluence in typed probabilistic lambda calculi (Q6661149) (← links)
