Show simple item record

Zombori, Zsolt
Szeredi, Péter
Lukácsy, Gergely
2016-09-04T21:35:04Z
2016-09-04T21:35:04Z
2011
http://hdl.handle.net/10890/4533
en
Loop elimination, a sound optimisation technique for PTTP related theorem proving
egyéb konferenciaközlemény
2678408
1770562
Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications
konferenciaközlemény


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