RADA

MaRDI QIDQ32549swMATHFDO

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