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 Issued	2012
URI	http://hdl.handle.net/10890/4689
dc.language.iso	en
Title	Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving
Type	folyóiratcikk
ISSN, e-ISSN	0324-721X
Volume	20
Title	ACTA CYBERNETICA-SZEGED
Other Identifier: MTMT	2686173
Other Identifier: Scopus	84866320073
Gender	szakcikk

Files

Now showing 1 - 1 of 1