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

Thumbnail
Megtekintés/Megnyitás
Metadata
Teljes megjelenítés
URI
http://hdl.handle.net/10890/4533
Collections
Cím és alcím
Loop elimination, a sound optimisation technique for PTTP related theorem proving
Szerző
Zombori, Zsolt
Szeredi, Péter
Lukácsy, Gergely
Megjelenés ideje
2011
Nyelv
en
Egyéb azonosítók
MTMT: 2678408
A cikket/könyvrészletet tartalmazó dokumentum címe
Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications
Dokumentumtípus
egyéb konferenciaközlemény
Műfaj
konferenciaközlemény