AGES

swMATH32284MaRDI QIDQ43995FDOQ43995

Author name not available (Why is that?)

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
• The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques
• FALCON
• ConCon
• ModGen
• CO3
• FORT
• infChecker
• Proving semantic properties as first-order satisfiability

This page was built for software: AGES