AGES

swMATH32284MaRDI QIDQ43995FDOQ43995

Author name not available (Why is that?)

Described by source

• Automatic generation of logical models with AGES

Cited In (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