mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 104 elem 11 oldalon, 10 listázva, a(z) 1. oldal megjelenítve.
Következő oldal
Átlépés a keresőbe
In English
Megjelenítési opciók
Nyelv információ
Absztrakt
Típus információ
Megjegyzés
Státusz információ
Linkek
Csak független idézők
Idézők
Nincs
Szám
Rövid
Részletes
Teljes
Rendezés
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
Találatok
10
20
50
100
1000
5000
Mód váltás:
XML
JSON
Lista exportálása:
Irodalomjegyzékként
RIS
BIBTEX
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
Nyilvános idéző összesen: 1
| Független: 0 | Függő: 1 | Nem jelölt: 0
Szakcikk (Folyóiratcikk) | Tudományos
[2686173]
[Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
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: Iwata, S (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
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: 1
| Független: 0 | Függő: 1 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos
[2676313]
[Nyilvános]
Nyilvános idéző összesen: 1, Független: 0, Függő: 1, Nem jelölt: 0
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-09-19 22:14
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás