Zobrazeno 1 - 10
of 215
pro vyhledávání: '"Tiuryn J"'
Akademický článek
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.
Publikováno v:
In Information and Computation 10 April 1999 150(1):1-21
Publikováno v:
Journal of the ACM; Mar1994, Vol. 41 Issue 2, p368-398, 31p
Publikováno v:
Proceedings of FOSSACS 2000, 17-34
STARTPAGE=17;ENDPAGE=34;TITLE=Proceedings of FOSSACS 2000
STARTPAGE=17;ENDPAGE=34;TITLE=Proceedings of FOSSACS 2000
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::9f05a68af91733776721a82c992d0772
https://research.vu.nl/en/publications/76a15c2b-e18c-4100-bd9d-399ff0061b7d
https://research.vu.nl/en/publications/76a15c2b-e18c-4100-bd9d-399ff0061b7d
Publikováno v:
STARTPAGE=76;ENDPAGE=90;TITLE=None
Computer Science Logic ISBN: 9783540600176
CSL
Computer Science Logic ISBN: 9783540600176
CSL
In this paper we discuss usability, and propose to take that notion as a formalisation of (un)definedness in typed lambda calculus, especially in calculi based on PCF. We discuss some important properties that make usability attractive as a formalisa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::58ad6f8953d428c17915cf6b22cca8f6
https://doi.org/10.1007/bfb0022248
https://doi.org/10.1007/bfb0022248
Akademický článek
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.
Publikováno v:
2010 IEEE International Conference on Bioinformatics & Biomedicine (BIBM); 2010, p121-126, 6p
Akademický článek
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:
Kozen, D., Tiuryn, J.
Publikováno v:
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science; 2001, p259-268, 10p