Loop elimination, a sound optimisation technique for PTTP related theorem proving

Zombori, Zsolt [Zombori, Zsolt (számítástudomány), author] Department of Computer Science and Information ... (BUTE / FEEI); Szeredi, Péter [Szeredi, Péter (Logikai programozás), author] Department of Computer Science and Information ... (BUTE / FEEI); Lukácsy, Gergely [Lukácsy, Gergely (számítástudomány), author] Department of Computer Science and Information ... (BUTE / FEEI)

English Scientific Conference paper (Conference paper)
    Identifiers
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-06-23 14:00