RADA

swMATH20732MaRDI QIDQ32549FDOQ32549

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=2494597

Cited In (6)

• Guardol
• Stern-Brocot Tree
• Superposition with datatypes and codatatypes
• A decision procedure for (co)datatypes in SMT solvers
• A decision procedure for (co)datatypes in SMT solvers
• Reasoning about algebraic data types with abstractions

This page was built for software: RADA