编辑配置文件(在新选项卡中打开) 悉达哈·巴斯卡 合著者距离 作者ID: 巴斯卡 发布日期: 悉达哈·巴斯卡 已编制索引的文档: 11出版物自2017年起,包括2个附加arXiv预打印 合著者: 11位合著者具有8联合出版物 153位合作作者 全部的 前5名合著者 三 单作者的 三 雅各布·格鲁·西蒙森 2 Kop,辛西娅 1 简·钱德利 1 亚当·贾丁 1 尼尔·D·琼斯。 1 罗宾·卡斯加德 1 安东·杰·基恩泽尔 1 亚历克斯·克鲁克曼 1 史蒂文·林德尔 1 克里斯托弗·奥克登 1 斯科特·温斯坦 系列 2 计算系统理论 1 符号逻辑杂志 1 函数编程杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 6 数学逻辑和基础(03-XX) 5 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物具有被引用2中的次1文件 引用人▼ 年份▼ 无缺点程序和复杂度等级日志空间和最佳时间. Zbl 07453191号 尼尔·D·琼斯。;悉达哈·巴斯卡;Kop,辛西娅;雅各布·格鲁·西蒙森 1 2020 的子类Ptime公司由编程语言解释。 Zbl 07719393号 悉达哈·巴斯卡;Kop,辛西娅;雅各布·格鲁·西蒙森 1 2023 的子类Ptime公司由编程语言解释。 Zbl 07719393号 悉达哈·巴斯卡;Kop,辛西娅;雅各布·格鲁·西蒙森 1 2023 无缺点程序和复杂度等级日志空间和最佳时间. Zbl 07453191号 尼尔·D·琼斯。;悉达哈·巴斯卡;Kop,辛西娅;雅各布·格鲁·西蒙森 1 2020 2位作者引用 1 悉达哈·巴斯卡 1 雅各布·格鲁·西蒙森 连载1篇 1 函数编程杂志 在1个字段中引用 1 计算机科学(68至XX) 按年份列出的引文