Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving

DOI10.14232/actacyb.20.3.2012.5zbMath1265.68214OpenAlexW2406875351MaRDI QIDQ4898739

Zsolt Zombori, Péter Szeredi

Publication date: 2 January 2013

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.20.3.2012.5

zbMATH Keywords

theorem provingresolutionPTTPloop elimination

Mathematics Subject Classification ID

Uses Software

• Prolog

This page was built for publication: Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving