Computable analysis; Computational complexity; Subrecursion; Representation of irrational numbers;
机译:从加权到残差表示的数字转换的VLSI复杂度的下限
机译:征集论文:“流行经典”在第十届凯尔特人经典会议上举行,专家小组于2017年7月19日至22日在加拿大蒙特利尔举行,由麦吉尔大学和蒙特利尔大学联合主办
机译:量化函数代数和表示类型表示的复杂性
机译:“减少”经典以实践:知识表示理论符合现实
机译:关于经典宏观进化趋势的新观点:复杂性,消光选择性和古生的氨缝合线形态的演变。
机译:转换与实在:见证表达的(Im)可能性
机译:“减少”经典实践:知识表示理论与现实相遇