Microsoft Research Cambridge UK;
HASLab INESC TEC Porto Portugal Department of Informatics Universidade da Beira Interior Covilha Portugal;
INESCTD Instituto Superior Tecnico University of Lisbon Lisbon Portugal;
Algebra; Logic; Geometry; Teaching formal methods; Unifying theories of programming;
机译:2018年计算机科学的逻辑基础由佛罗里达州佛罗里达州佛罗里达州符号逻辑Deerfield海滩协会合作,2018年1月8日至11日
机译:逻辑,数学和计算机科学:具有实际应用的现代基础(第二版)
机译:逻辑和数学基础-计算机科学和密码学的应用
机译:计算机科学基础的逻辑,代数和几何图形
机译:NummSquared 2006a0进行了解释,包括为逻辑,数学和计算机科学建立的新的有充分基础的功能基础。
机译:用于模型选择的数值代数几何及其在生命科学中的应用
机译:与Ludics有关的逻辑和计算机科学思想(信息学中的代数,逻辑和几何)
机译:代数逻辑与通用代数在计算机科学中的应用