RADA

swMATH20732MaRDI QIDQ32549FDOQ32549

Author name not available (Why is that?)

Cited In (4)

• Superposition with datatypes and codatatypes
• A decision procedure for (co)datatypes in SMT solvers
• Reasoning about algebraic data types with abstractions
• A Decision Procedure for (Co)datatypes in SMT Solvers

This page was built for software: RADA