Loop elimination, a sound optimisation technique for PTTP related theorem proving

View/Open

124690.pdf (144.7Kb)

Metadata

Show full item record

URI

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

Collections

BME PA dokumentumai [3731]

Title: Loop elimination, a sound optimisation technique for PTTP related theorem proving
Author: Zombori, Zsolt; Szeredi, Péter; Lukácsy, Gergely
Date of issue: 2011
Language: en
Identifiers: MTMT: 2678408
Title of the container document: Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications
Document type: egyéb konferenciaközlemény
Document genre: konferenciaközlemény