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

View/Open

135431.pdf (139.5Kb)

Metadata

Show full item record

URI

http://hdl.handle.net/10890/4689

Collections

BME PA dokumentumai [3731]

Title: Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving
Author: Zombori, Zsolt; Szeredi, Péter
Date of issue: 2012
Language: en
Identifiers: MTMT: 2686173; Scopus: 84866320073
Title of the container document: ACTA CYBERNETICA-SZEGED
Volume of container document: 20
ISSN, e-ISSN: 0324-721X
Document type: folyóiratcikk
Document genre: szakcikk