 |
 | Up a level |
Sipos, Dávid (2022) Szimbolikus automaták. BA/Bsc, Szegedi Tudományegyetem.
Kószó, Dávid (2019) Súlyozott faautomatákra vonatkozó eldönthetőségi kérdések. Masters, Szegedi Tudományegyetem.
Bencsik, Dávid (2018) Automataelméleti feladatok generálása. BA/Bsc, Szegedi Tudományegyetem.
Hajagos, Károly (2018) Rangolatlan fákat felismerő faautomaták minimalizálása. Masters, Szegedi Tudományegyetem.
Hajagos, Károly (2017) Reguláris kifejezések ekvivalenciája. BA/Bsc, Szegedi Tudományegyetem.
Pauló, Tamás (2011) Interaktív tételbizonyítás. Masters, Szegedi Tudományegyetem.
Redler, Sándor (2008) Reguláris modellvizsgálat. Masters, Szegedi Tudományegyetem.
Bertók, Zoltán (2006) Szimbolikus modellvizsgálat. Masters, Szegedi Tudományegyetem.
Horváth, Zsolt (2005) Nemdeterminisztikus véges automaták redukálása. Masters, Szegedi Tudományegyetem.
Kakuk, Zsolt (2004) Félgyűrűk feletti automaták. Masters, Szegedi Tudományegyetem.
Birkás, Zoltán (2004) LR nyelvek részszavainak elemzése lineáris időben. Masters, Szegedi Tudományegyetem.
Szigeti, Béla (2004) Minimális aciklikus automaták inkrementális konstrukciója. Masters, Szegedi Tudományegyetem.
Kertész-Farkas, Attila (2004) Véges nyelvek tömör reprezentációja nemdeterminisztikus automatákkal. Masters, Szegedi Tudományegyetem.
Győrbíró, Norbert (2003) Automatikus tételbizonyítás. Masters, Szegedi Tudományegyetem.
Muzamel, Loránd (2003) Felismerhető relációkra épülő logika. Masters, Szegedi Tudományegyetem.
Gémes, Tibor (2003) Véges nyelvek minimális fedöautcmatái. Masters, Szegedi Tudományegyetem.
Lovas, Gábor (2002) Mintaillesztési algoritmusok. Masters, Szegedi Tudományegyetem.
Selmeci, Viktor (2002) A TREEBAG term-generáló rendszer. Masters, Szegedi Tudományegyetem.
Csomós, László (2002) Véges automata algoritmusok vizsgálata. Masters, Szegedi Tudományegyetem.
Juhász, András (2001) Object-Oriented Program Verification (Objektum-orientált program bizonyítás). Masters, Szegedi Tudományegyetem.
Bánik, Éva (2000) Approximating natural languages grammars with recursive transition networks. Masters, Szegedi Tudományegyetem.
Aufmuth, Zsolt (2000) Attribútumos hipergráfok alkalmazása a programozásban. (Egy gráf programozási nyelv megvalósításának elemei.). Masters, Szegedi Tudományegyetem.
Paulik, Attila (2000) Az univerzális program implementálása. Masters, Szegedi Tudományegyetem.
Gazdag, Zsolt (2000) Hossz- és alakmegőrző racionális fordítások. Masters, Szegedi Tudományegyetem.
Köles, István (1999) Reklámok és azok hatékonysága egy kistérségi rádióban. BA/Bsc, Juhász Gyula Tanárképző Főiskola.
Dévényi, Csaba (1998) Automaták JAVA nyelven. BA/Bsc, József Attila Tudományegyetem.
Sulák, Katalin (1997) Fanyelvekre vonatkozó vizsgálatok. BA/Bsc, József Attila Tudományegyetem.
Danyi, András (1996) Felismerhető nyelvek logikai jellemzése. Masters, József Attila Tudományegyetem.
Szakács, Csaba (1995) Eldönthetőségi kérdések Ground Term átíró rendszerekre. Masters, József Attila Tudományegyetem.
Drégelyi, Zoltán (1994) Formális nyelvekre vonatkozó eldönthetőségi kérdések. BA/Bsc, József Attila Tudományegyetem.
Farkas, Gábor (1990) THUE rendszerek CHURCH-ROSSER tulajdonságának eldönthetősége. Masters, József Attila Tudományegyetem.
Tóth, István (1990) THUE rendszerekre vonatkozó eldönthetőségi kérdések (A Knuth-Bendix eljárás). Masters, József Attila Tudományegyetem.
Gáspár, Istvánné (1989) Szolnok Megyei Tanács Közlekedési Osztálya útadatbázisának lekérdezése tetszőleges szempont szerint, és gyalogátkelőhelyek adatbázisának karbantartása IBM PC kompatibilis számítógépre CLIPPER nyelven. BA/Bsc, József Attila Tudományegyetem.
Gáspár, Istvánné (1989) Útnyilvántartási rendszer készítése személyi számítógépre. Masters, József Attila Tudományegyetem.
Szende, Attila (1987) Egy gyors LL(1) teszt implementálása. Masters, József Attila Tudományegyetem.
