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

View/ Open
Metadata
Show full item recordCollections
- 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