Now showing items 1-1 of 1

    • Applications of Metric Coinduction 

      Kozen, Dexter; Ruozzi, Nicholas (Cornell University, 2007-05-16)
      Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One proves a coinduction step showing that some property is preserved by one ...