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.

机译：近年来在理论计算机科学中近年来已经用于许多目的。在这些讲座中，我们将突出其在关于计算的规范和推理中的一些用途。

著录项

来源
《North Atlantic Treaty Organization advanced study institute on computational logic》|1999年||共46页
会议地点
作者
Dale Miller; NATO;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类数理逻辑、数学基础;
关键词
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

摘要

著录项

相似文献

相关主题

期刊订阅