1.
Péter, Szeredi ; Gergely, Lukácsy ; Tamás, Benkő
The Semantic Web Explained: The Technology and Mathematics behind Web 3.0
Cambridge, Egyesült Királyság / Anglia : Cambridge University Press (2014) , 471 p.
DOI ISBN: 9780521700368
Közlemény:2605301 Egyeztetett Forrás Könyv (Szakkönyv ) Tudományos
Szakkönyv (Könyv) | Tudományos[2605301] [Egyeztetett]
2.
Zombori, Zsolt ; Csorba, János ; Szeredi, Péter
Static Type Inference for the Q language using Constraint Logic Programming
In: Agostino, Dovier; Vitor, Santos Costa (szerk.) Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)
Schloss Dagstuhl, Németország : Schloss Dagstuhl Leibniz-Zentrum für Informatik (2012) pp. 119-129. , 11 p.
DOI Scopus Teljes dokumentum Mathematical Reviews
Közlemény:2686179 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 0 | Független: 0 | Függő: 0 | Nem jelölt: 0 (Nem nyilvános: 1)
Konferenciaközlemény (Könyvrészlet) | Tudományos[2686179] [Admin láttamozott]
3.
Zombori, Zsolt ; Szeredi, Péter
Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving
ACTA CYBERNETICA 20 pp. 441-458. , 18 p. (2012)
DOI WoS Scopus Mathematical Reviews Handle
Közlemény:2686173 Admin láttamozott Forrás Idéző Duplum Folyóiratcikk (Szakcikk ) Tudományos
Szakcikk (Folyóiratcikk) | Tudományos[2686173] [Admin láttamozott]
4.
Zombori, Zsolt ; Szeredi, Péter
Szemantikus és deklaratív technológiák oktatási segédlet pp. 1-32. , 32 p. (2012)
Teljes dokumentum Handle
Közlemény:2685923 Admin láttamozott Forrás Egyéb (Segédlet ) Oktatási
Segédlet (Egyéb) | Oktatási[2685923] [Admin láttamozott]
5.
Zombori, Zsolt ; Csorba, János ; Szeredi, Péter
Static Type Inference as a Constraint Satisfaction Problem
In: Proceedings of the TAMOP PhD Workshop
(2012) Paper: B11 , 5 p.
Teljes dokumentum Handle
Közlemény:2684965 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2684965] [Admin láttamozott]
6.
Csorba, János ; Zombori, Zsolt ; Szeredi, Péter
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
In: Proceedings of the 11th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011)
(2011) Paper: 5
Teljes dokumentum Handle
Közlemény:2681585 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2681585] [Admin láttamozott]
7.
Zombori, Zsolt ; Szeredi, Péter ; Lukácsy, Gergely
Loop elimination, a sound optimisation technique for PTTP related theorem proving
In: S, Iwata (szerk.) Proceedings of 7th Japanese-Hungarian Symposium on Discrete Mathematics and its Applications
Kyoto, Japán (2011) pp. 503-512. , 10 p.
Teljes dokumentum Handle
Közlemény:2678408 Nyilvános Forrás Duplumgyanú Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2678408] [Nyilvános]
8.
Zombori, Zsolt ; Csorba, János ; Szeredi, Péter
Static Type Checking for the Q Functional Language in Prolog
In: Gallagher, John P; Gelfond, Michael (szerk.) 27th International Conference on Logic Programming (ICLP'11) : Technical Communications
Wadern, Németország : Schloss Dagstuhl Leibniz-Zentrum für Informatik (2011) pp. 62-72. , 11 p.
DOI Scopus Egyéb URL Mathematical Reviews Handle
Közlemény:2676313 Nyilvános Forrás Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 0 | Független: 0 | Függő: 0 | Nem jelölt: 0 (Nem nyilvános: 1)
Konferenciaközlemény (Könyvrészlet) | Tudományos[2676313] [Nyilvános]
9.
Csorba, J ; Zombori, Z ; Szeredi, P
Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language (2011)
arXiv
Közlemény:2043035 Nyilvános Forrás Egyéb (Csak repozitóriumban hozzáférhető közlemény ) Tudományos
Csak repozitóriumban hozzáférhető közlemény (Egyéb) | Tudományos[2043035] [Nyilvános]
10.
Gregorics, T ; Molnár, B ; Sántáné-Tóth, E ; Szeredi, P ; Vámossy, Zoltán ; Varga, L Z
Symposium of Young Scientists on Intellignet Systems - Preface
ACTA CYBERNETICA 19 : 3 pp. 569-570. , 2 p. (2010)
Scopus
Közlemény:1509422 Admin láttamozott Forrás Folyóiratcikk (Recenzió/kritika ) Tudományos
Recenzió/kritika (Folyóiratcikk) | Tudományos[1509422] [Admin láttamozott]
2024-05-11 03:06