AGES

MaRDI QIDQ43995swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-030-29436-6_17

Described by source

• Automatic generation of logical models with AGES

Cited in

(11)

• Saigawa
• Conditional Confluence
• Ctrl
• FALCON
• ConCon
• ModGen
• CO3
• FORT
• infChecker
• 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