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

Megtekintés/Megnyitás

135431.pdf (139.5KB)

Metaadat

Teljes megjelenítés

URI

http://hdl.handle.net/10890/4689

Gyűjtemény

BME PA dokumentumai [3731]

Cím és alcím: Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving
Szerző: Zombori, Zsolt; Szeredi, Péter
Megjelenés ideje: 2012
Nyelv: en
Egyéb azonosítók: MTMT: 2686173; Scopus: 84866320073
A cikket/könyvrészletet tartalmazó dokumentum címe: ACTA CYBERNETICA-SZEGED
A forrás folyóirat évfolyama: 20
ISSN, e-ISSN: 0324-721X
Dokumentumtípus: folyóiratcikk
Műfaj: szakcikk