Zobrazeno 1 - 10
of 66
pro vyhledávání: '"Tzevelekos, N."'
Autor:
Bandukara, M.H., Tzevelekos, N.
Publikováno v:
In Journal of Systems Architecture December 2023 145
Publikováno v:
In Journal of Computer and System Sciences August 2017 87:58-83
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Tzevelekos, N
Game Semantics arguably stands for one of the most successful techniques in denotational semantics, having provided not only proper denotational, accurate models for a large variety of programming languages, but also new semantical tools for program
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7157b94ac691916bed0aaa71e7252c4f
http://ora.ox.ac.uk/objects/uuid:ca725f13-4523-4892-8ad1-8cff13637724
http://ora.ox.ac.uk/objects/uuid:ca725f13-4523-4892-8ad1-8cff13637724
Publikováno v:
24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS.
What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF and show that even in the recursion-free fragment generated from a finite base type,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9c1226c0bfa8e31f5258cff8ac93a29
http://ora.ox.ac.uk/objects/uuid:aad1e708-dbec-495f-8360-fbc85dd1c804
http://ora.ox.ac.uk/objects/uuid:aad1e708-dbec-495f-8360-fbc85dd1c804
Autor:
Murawski, A.S., Tzevelekos, N.
Publikováno v:
2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS); 2011, p75-84, 10p
Autor:
Ong, C.-H.L., Tzevelekos, N.
Publikováno v:
2009 24th Annual IEEE Symposium on Logic In Computer Science; 2009, p286-295, 10p