Editorial　Proof and Computation

Sergei Adian; Lev Beklemishev; Albert Visser

首页> 外文期刊>Journal of logic and computation >Editorial　Proof and Computation

【24h】

Editorial　Proof and Computation

机译：社论证明与计算

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This volume presents selected papers from the workshop 'Logical models of reasoning and computation' that was held at Steklov Mathematical Institute in Moscow, 5-8 May, 2008. This workshop, and the twin workshop organized at the University of Utrecht in November 2008, marked a successful completion of a 3-year Dutch-Russian cooperation project1 supported by Netherlands Organization for Scientific Research (NWO) and Russian Foundation for Basic Research (RFBR). The workshop also gathered participants from some other groups of researchers cooperating with the logic communities in Moscow and the Netherlands, most notably from Austria and France. The present volume comprises mostly the papers from the broadly understood area of computational proof theory. Topics vary from structural proof theory and proof-nets, to constructive semantics and provability logic.

机译：本卷介绍了2008年5月5日至8日在莫斯科Steklov数学学院举行的“推理和计算的逻辑模型”研讨会的部分论文。该研讨会以及2008年11月在乌得勒支大学举办的双生研讨会，标志着荷兰科学研究组织（NWO）和俄罗斯基础研究基金会（RFBR）支持的为期3年的荷俄合作项目1的成功完成。研讨会还吸引了来自与莫斯科和荷兰逻辑界合作的其他一些研究人员小组的参与者，其中最著名的是奥地利和法国。本卷主要包含来自计算证明理论的广泛理解的论文。主题从结构证明理论和证明网络到构造语义和可证明性逻辑不等。

著录项

来源
《Journal of logic and computation》 |2011年第4期|p.541-542|共2页
作者
Sergei Adian; Lev Beklemishev; Albert Visser;
展开▼
作者单位

Steklov Mathematical Institute, Russian Academy of Sciences,Gubkina str. 8, 119991 Moscow, Russia;

Steklov Mathematical Institute, Russian Academy of Sciences,Gubkina str. 8, 119991 Moscow, Russia;

Department of Philosophy, Utrecht University, Heidelberglaan 8,3584 CS Utrecht, The Netherlands;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites [J] . Achim D. Brucker, Jacques Julliand Software Testing, Verification and Reliability . 2014,第8期

机译：STVR特刊有关测试和证明第2卷的社论：改进测试数据套件生成时间和质量的测试和证明
2. Editorial for the special issue of STVR on tests and proofs volume 1: tests and proofs in model-based testing [J] . Achim D. Brucker, Jacques Julliand Software Testing, Verification and Reliability . 2014,第7期

机译：STVR特刊关于测试和证明第1卷的社论：基于模型的测试中的测试和证明
3. A Mechanized Proof Environment for the Convenient Computations Proof Method [J] . MARCELO GLUSMAN, SHMUEL KATZ Formal Methods in System Design . 2003,第2期

机译：方便的计算证明方法的机械化证明环境
4. Proof Net Semantics of Proof Search Computation [C] . Luis Caires, Lufs Monteiro International Workshop on Higher-Order Algebra, Logic, and Term Rewriting . 1997

机译：证明净式证明搜索计算的语义
5. Non-invasive detection of pre-malignant lesions using sub-ablative, deep ultraviolet laser-tissue interactions coupled with endogenous tissue fluorescence: Proof-of-concept, computational modeling, and detection-theory strategies for clinical instrument design and testing. [D] . Kozikowski, Raymond Thomas, III. 2012

机译：使用亚消融性深紫外激光-组织相互作用与内源性组织荧光相结合的无创检测恶性前病变的方法：概念验证，计算模型以及用于临床仪器设计和测试的检测理论策略。
6. Proof-of-Concept Study on an Automatic Computational System in Detecting and Classifying Occlusal Caries Lesions from Smartphone Color Images of Unrestored Extracted Teeth [O] . Duc Long Duong, Quoc Duy Nam Nguyen, Minh Son Tong, 2021

机译：从智能手机彩色图像检测和分类咬合龋病病变的自动计算系统验证研究
7. An Ordinal-Free Proof of the Cut-elimination Theorem for a Subsystem of $Pi^1_1$-Analysis with $omega$-rule (Proof theoretical study of the structure of logic and computation) [O] . Akiyoshi Ryota 2009

机译：$ Pi ^ 1_1 $-带有$ omega $规则的分析子系统的割除定理的无序证明（逻辑和计算结构的证明理论研究）

Editorial Proof and Computation

摘要

著录项

相似文献

相关主题

期刊订阅

Editorial　Proof and Computation