Department of Computer Science University of Bath Bath UK;
IMF Universite Paris Diderot Paris France;
Dipartimento di Matematica e Fisica Universita Roma Tre Rome Italy;
Linear logic; Proof-net; Taylor expansion; Graph;
机译:精美的证明网:完美的搭配和专案
机译:地理信息系统中误差传播的高阶泰勒级数展开方法
机译:关系图模型,泰勒展开和可扩展性
机译:证明网作为图形,泰勒扩展为回调
机译:扩展模型描述了不同宽度的爆炸式金属飞行器的投影速度和泰勒角
机译:亚毫米直径旋转回拉式光纤内窥镜用于窄带红绿蓝反射率光学相干断层扫描和体内自体荧光成像
机译:通过泰勒展开法(连接的)MELL证明网的关系语义的可插性