Sequent calculus and the specification of computation

机译：后续演算和计算规范

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

The sequent calculus has been used for many purposes in recent years within theoretical computer science. In these lectures, we shall highlight some of its uses in the specification of and reasoning about computation.

机译：近年来，顺序演算已在理论计算机科学中用于许多目的。在这些讲座中，我们将重点介绍其在计算规范和推理中的一些用法。

著录项

来源
《Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29-August 10, 1997》|1997年|p.399-444|共46页
会议地点 Marktoberdorf(DE)
作者
Dale Miller;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
Logic programming; linear logic; goal-directed proof search; lambda Prolog; hereditary Harrop formulas; Lolli; Forum;

机译：逻辑编程；线性逻辑目标导向的证明搜索； lambda Prolog;遗传哈罗普公式；棒棒糖论坛;

相似文献

外文文献
中文文献
专利

1. A tutorial on computational classical logic and the sequent calculus [J] . Downen Paul, Ariola Zena M. Journal of Functional Programming . 2018,第期

机译：关于计算经典逻辑和后续演算的教程
2. A multi-labelled sequent calculus for Topo-Logic [J] . Shillito Ian Journal of logic and computation . 2020,第2期

机译：拓扑逻辑的多标签顺序演算
3. A cut-free labelled sequent calculus for dynamic epistemic logic [J] . Nomura Shoshin, Ono Hiroakira, Sano Katsuhiko Journal of logic and computation . 2020,第1期

机译：动态认知逻辑的无割标签顺序演算
4. Sequent calculus and the specification of computation [C] . Dale Miller, NATO North Atlantic Treaty Organization advanced study institute on computational logic . 1999

机译：搜索结石和计算规范
5. Sequent Calculus: A Logic and a Language for Computation and Duality [D] . Downen, Paul. 2017

机译：后续微积分：计算和对偶的逻辑和语言
6. Fast Algorithms for the Computation of Sliding Sequency-Ordered Complex Hadamard Transform [O] . Jiasong Wu, Huazhong Shu, Lu Wang, -1

机译：用于计算滑动挂接顺序复合HATAMARD变换的快速算法
7. Sequent Calculus: A Logic and a Language for Computation and Duality [O] . Downen Paul 2017

机译：后续微积分：计算和对偶的逻辑和语言

Sequent calculus and the specification of computation

摘要

著录项

相似文献

相关主题

期刊订阅