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)

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
Megjelent: ACTA CYBERNETICA 0324-721X 20 pp. 441-458 2012
  • SJR Scopus - Computer Science (miscellaneous): Q3
Azonosítók
Szakterületek:
    Idézett közlemények (2)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-03-05 06:03