AGES

swMATH32284MaRDI QIDQ43995

No author found.

Described by source

• Automatic generation of logical models with AGES

Related Items (2)

The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques ⋮ Proving semantic properties as first-order satisfiability

This page was built for software: AGES