Loop elimination, a sound optimisation technique for PTTP related theorem proving
Collections
- BME PA dokumentumai [3736]
Böngészés
A teljes DSpace-benKategóriák és gyűjteményekMegjelenés dátumaSzerzőCímTárgyszóA gyűjteménybenMegjelenés dátumaSzerzőCímTárgyszó