Glossectomies
- 期刊名称EMC - Techniques chirurgicales - Tête et cou
- 作者Dassonville, O.; Poissonnet, G.; Bozec, A.
- 卷第1卷
- 期第1期
- 印刷ISSN2211-0402
- 文件大小700.54KB
- 发表时间2006-1
- DOI10.1016/s1624-5849(06)39889-x
- 页码1-9
Sequential games and optimal strategiesEscardo, M.; Oliva, P. · Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences · 2011
Guest editors’ introduction: Special issue on practical development of exact real number computationNorbert Müller; Martin Escardo; Paul Zimmermann · 2005
The central organization of the vagus nerve innervating the colon of the ratAltschuler, Steven M.; Escardo, Julia; Lynn, Richard B.; Miselis, Richard R. · Gastroenterology · 1993
[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - A universal characterization of the closed Euclidean intervalEscardo, M.H.; Simpson, A.K. · 2001
[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (26-29 June 2005)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Operational Domain Theory and Topology of a Sequential Programming LanguageEscardo, M.; Ho Weng Kin, · 2005
[IEEE Comput. Soc Twelfth Annual IEEE Symposium on Logic in Computer Science - Warsaw, Poland (29 June-2 July 1997)] Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science - Induction and recursion on the partial real line via biquotients of bifree algebrasEscardo, M.H.; Streicher, T. · 1997
Verification of Model TransformationsCalegari, Daniel; Szasz, Nora · Electronic Notes in Theoretical Computer Science · 2013
PrefaceCAVALCANTI, A · Electronic Notes in Theoretical Computer Science · 2004
Pollack-inconsistencyWiedijk, Freek · Electronic Notes in Theoretical Computer Science · 2012
Proving Termination by Policy IterationMassé, Damien · Electronic Notes in Theoretical Computer Science · 2012
Engineering the Prover InterfaceGast, Holger · Electronic Notes in Theoretical Computer Science · 2012
Typed vs. Untyped RealizabilityBerger, Ulrich; Hou, Tie · Electronic Notes in Theoretical Computer Science · 2012
Sweeping in Abstract InterpretationJakubczyk, Krzysztof · Electronic Notes in Theoretical Computer Science · 2012
PrefaceChockler, Hana · Electronic Notes in Theoretical Computer Science · 2013