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

Author	Zombori, Zsolt
Author	Szeredi, Péter
Date accessioned	2016-09-04T21:35:31Z
Date available	2016-09-04T21:35:31Z
Date of issue	2012
URI of identifier	http://hdl.handle.net/10890/4689
Language	en
Title	Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving
Document type	folyóiratcikk
Identifiers [mtmt]	2686173
Identifiers [scopus]	84866320073
ISSN, e-ISSN	0324-721X
Volume of container document	20
Title of the container document	ACTA CYBERNETICA-SZEGED
Document genre	szakcikk

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.