Proceedings 16th Annual IEEE Symposium on Logic in Computer Science

机译：第16届IEEE计算机科学逻辑年度学术会议论文集

获取原文

页面导航

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

摘要

The following topics were dealt with: formal logic in computer science; calculus of constructions; complexity; decidability; automata theory; lambda calculus; type theory; mu calculus; temporal logic; first order modal logic; and rewriting.

机译：涉及以下主题：计算机科学中的形式逻辑;结构演算;复杂;可判定性自动机理论λ演算类型理论微积分时间逻辑;一阶模态逻辑;和重写。

著录项

来源
《》|2001年||共1页
会议地点
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. SPECIAL SECTION ON THE FIFTY-EIGHTH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (2017) [J] . Kabanets Valentine, Raskhodnikova Sofya, Swamy Chaitanya SIAM Journal on Computing . 2020,第4期

机译：第五十八届IEEE IEEE专题讨论计算机科学基础（2017）的特别部分（2017）
2. SPECIAL SECTION ON THE FIFTY-SEVENTHTH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (2016) [J] . Dinur Irit, Meir Or, Kopparty Swastik SIAM Journal on Computing . 2019,第2期

机译：五十七年度IEEE研讨会上的计算机科学基础（2016）的特别部分（2016）
3. SPECIAL SECTION ON THE FIFTY-SIXTH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (2015) [J] . Moore Cris, Vempala Santosh SIAM Journal on Computing . 2018,第6期

机译：第五十六届计算机科学基金会年度IEEE研讨会特别部分（2015）
4. Proceedings 16th Annual IEEE Symposium on Logic in Computer Science [C] . Institute of Electric and Electronic Engineer Annual IEEE Symposium on Logic in Computer Science . 2001

机译：关于第16届计算机科学逻辑的IEEE研讨会
5. FROM MATHEMATICAL CONSTRUCTIVITY TO COMPUTER SCIENCE: ALAN TURING, JOHN VON NEUMANN, AND THE ORIGINS OF COMPUTER SCIENCE IN MATHEMATICAL LOGIC. [D] . ASPRAY, WILLIAM FRANKLIN, JR. 1980

机译：从数学构造性到计算机科学：艾伦·图灵，约翰·冯·纽曼和数学逻辑学中的计算机科学起源。
6. Correction to: Proceedings of the 16th Annual UT-KBRIN Bioinformatics Summit 2017: proceedings [O] . Eric Rouchka 2017

机译：更正为：2017年第16届UT-KBRIN生物信息学峰会的议事录：会议记录
7. Call for papers: LICS fifth annual IEEE symposium on logic in computer science June 4–7, 1990, Philadelphia, PA, USA [O] . 1989

机译：征集论文：LICS第五届IEEE年度计算机科学逻辑研讨会，1990年6月4日至7日，美国宾夕法尼亚州费城
8. Sixteenth Annual IEEE Symposium on Logic in Computer Science. [R] . 2001

机译：第十六届IEEE计算机科学逻辑研讨会。

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science

摘要

著录项

相似文献

相关主题

期刊订阅