Szerző: " Szeredi Péter"

Vissza
Export [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 5.

Cikk, tanulmány, mű

Zombori Zsolt; Szeredi Péter: Loop elimination, a sound optimisation technique for PTTP related theorem proving. In: Acta cybernetica, (20) 3. pp. 441-458. (2012)

Gregorics Tibor; Molnár Bálint; Szeredi Péter; Vámossy Zoltán; Sántáné-Tóth Edit; Varga László Zsolt: Preface. In: Acta cybernetica, (19) 3. pp. 569-570. (2010)

Lukácsy Gergely; Szeredi Péter: Plagiarism detection in source programs using structural similarities. In: Acta cybernetica, (19) 1. pp. 191-216. (2009)

Gregorics Tibor; Molnár Bálint; Sántáné-Tóth Edit; Szeredi Péter; Vámossy Zoltán; Varga László Zsolt: Preface. In: Acta cybernetica, (18) 4. pp. 559-560. (2008)

Csink László; Sántáné-Tóth Edit; Varga László Zsolt; Gregorics Tibor; Szeredi Péter; Molnár Bálint; Vámossy Zoltán: Preface. In: Acta cybernetica, (18) 2. p. 169. (2007)

A lista elkészítésének dátuma 2024. március 29. 02:30:28 CET.