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

Zombori, Zsolt [Zombori, Zsolt (számítástudomány), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK); Szeredi, Péter [Szeredi, Péter (Logikai programozás), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK); Lukácsy, Gergely [Lukácsy, Gergely (számítástudomány), szerző] Számítástudományi és Információelméleti Tanszék (BME / VIK)

Angol nyelvű Tudományos Konferenciaközlemény (Egyéb konferenciaközlemény)
    Azonosítók
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-05-06 21:03