Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Ramsay, S. J."'
Higher-order recursion schemes are a higher-order analogue of Boolean Programs; they form a natural class of abstractions for functional programs. We present a new, efficient algorithm for checking CTL properties of the trees generated by higher-orde
Externí odkaz:
http://arxiv.org/abs/2012.13333
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:
Anaesthesia & Intensive Care; 2008, Vol. 36 Issue 1, p20-24, 5p
Publikováno v:
Anaesthesia and Intensive Care; June 2003, Vol. 31 Issue: 3 p324-327, 4p
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:
Ramsay SJ, Gomersall CD
Publikováno v:
Anaesthesia [Anaesthesia] 2002 Jun; Vol. 57 (6), pp. 615-6.
Autor:
Joynt GM; Department of Anaesthesia and Intensive Care, Chinese University of Hong Kong. gavinmjoynt@cuhk.edu.hk, Ramsay SJ, Buckley TA
Publikováno v:
Annals of the Academy of Medicine, Singapore [Ann Acad Med Singap] 2001 May; Vol. 30 (3), pp. 310-9.
Publikováno v:
Lancet (London, England) [Lancet] 2001 Mar 17; Vol. 357 (9259), pp. 883; author reply 884.