Show simple item record

Zombori, Zsolt
Szeredi, Péter
2016-09-04T21:35:31Z
2016-09-04T21:35:31Z
2012
http://hdl.handle.net/10890/4689
en
Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving
folyóiratcikk
2686173
84866320073
0324-721X
20
ACTA CYBERNETICA-SZEGED
szakcikk


Files in this item

Thumbnail

This item appears in the following Collection(s)

  • BME PA dokumentumai [3731]
    Lezárt gyűjtemény. Fájlok hozzáférési felülvizsgálata folyamatban. Jelenleg a dokumentumok kizárólag BME-s IP címekről érhetők el.

Show simple item record