首页>外文会议>其他>International seminar on proof theory in computer science

International seminar on proof theory in computer science

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Program Extraction from Gentzen's Proof of Transfinite Induction up to ε_0

机译：从Gentzen的Transfinite诱导证明的程序提取到ε_0
- 作者：Ulrich Berger
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
2.Iterate Logic

机译：迭代逻辑
- 作者：Peter H. Schmitt
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
3.A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identify

机译：关于识别架构模式的证据理论强度的说明
- 作者：Matthias Baaz;Christian G. Fermuller
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
4.Coherent Bicartesian and Sesquicartesian Categories

机译：连贯的Bicartesian和Sesquicartesian类别
- 作者：Kosta Dosen;Zoran Petric
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
- categorial proof theory;
- conjunction and disjunction;
- decidability of equality of deductions;
5.Comparing the Complexity of Cut-Elimination Methods

机译：比较切割方法的复杂性
- 作者：Matthias Baaz;Alexander Leitsch
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
6.Proof Theory and Post-turing Analysis

机译：证明理论和后图分析
- 作者：Lew Gordeew
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
7.Constructive Foundations for Featherweight Java

机译：Featherweight Java的建设性基础
- 作者：Thomas Studer
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
- object-oriented programming;
- denotational semantics;
- reasoning about programs;
- Featherweight Java;
- explicit mathematics;
8.Interpolation for Natural Deduction with Generalized Eliminations

机译：通过广义消除的自然扣除插值
- 作者：Ralph Matthew
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
9.Indexed Induction-Recursion

机译：索引诱导递归
- 作者：Peter Dybjer;Anton Setzer
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
10.Linear Ramified Higher Type Recursion and Parallel Complexity

机译：线性分配更高型递归和并联复杂性
- 作者：Klaus Aehlig;Jan Johannsen;Helmut Schwichtenberg;Sebastiaan A. Terwijn
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
- higher types;
- recursion;
- parallel computation;
- NC;
- lambda calculus;
- linear logic;
- implicit computational complexity;
11.Modeling Meta-logical Features in a Calculus with Frozen Variables

机译：用冻结变量建模元逻辑特征
- 作者：Birgit Elbl
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
- logic programming;
- substructural logic;
- control;
12.Reflective λ-Calculus

机译：λ-微分屈光
- 作者：Jesse Alt;Sergei Artemov
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
13.Implicit Characterizations of Pspace

机译：PSPACE的隐含特性
- 作者：Isabel Oitavem
- 会议名称：《International seminar on proof theory in computer science》 | 2001年
- computational complexity;
- implicit characterizations;
- term rewriting;
- Pspace;