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

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

Files

Primary 135431.pdf (139.54 KB)

Date

Title

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

Authors

Zombori, Zsolt
Szeredi, Péter

Type

folyóiratcikk

ISSN, e-ISSN

0324-721X

Periodical Volume

20

Container Title

ACTA CYBERNETICA-SZEGED

Gender

szakcikk

Cite this item: http://hdl.handle.net/10890/4689

Collections

BME PA dokumentumai