Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany;
Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany;
Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany;
Friedrich-Alexander-Universitaet Erlangen-Nuernberg, Erlangen, Germany;
机译:集合函子的表示:结合论
机译:关于赋集函子的表达共代数逻辑的一个注记
机译:Van Benthem / Rosen定理,用于合子谓词逻辑
机译:基于恐怖表达语言的谓词升力和仿函数演示
机译:谓词函子逻辑的“本体无罪”
机译:动作在英语手语中的谓词结构手势和同时性:来自聋哑儿童和成人的证据
机译:集合仿函数的表达:一个代数的角度