REACH

swMATH7733MaRDI QIDQ19750FDOQ19750

Author name not available (Why is that?)

Official website: http://www.tandfonline.com/doi/abs/10.1080/03081079.2012.757604#.UtONLFu0UYw

Cited In (5)

• Some decidable results on reachability of solvable systems
• Multiphase until formulas over Markov reward models: an algebraic approach
• TERMINATOR
• Analyzing ultimate positivity for solvable systems
• Positive root isolation for poly-powers by exclusion and differentiation

This page was built for software: REACH