掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Annual Symposium on Logic in Computer Science
Annual Symposium on Logic in Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A small universal model for system executions
机译:
用于系统执行的小通用模型
作者:
Gischer J.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
2.
On substitutional recursion over non-well-founded sets
机译:
关于非良好成立套装的替代递归
作者:
Fernando R.T.P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
3.
Faithful ideal models for recursive polymorphic types
机译:
竞技理想模型用于递归多态性类型
作者:
Abadi M.
;
Pierce B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
4.
Negation as refutation
机译:
否定为驳斥
作者:
Fitting M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
5.
Computing with recursive types
机译:
使用递归类型计算
作者:
Cosmadakis S.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
6.
Proceedings. Fourth Annual Symposium on Logic in Computer Science (Cat. No.89CH2753-2)
机译:
诉讼程序。计算机科学逻辑的第四届年度研讨会(猫。No.89Ch2753-2)
作者:
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
7.
Nets and data flow interpreters
机译:
网和数据流口译员
作者:
Rabinovich A.
;
Trakhtenbrot B.A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
8.
Some complexity bounds for dynamic logics
机译:
动态逻辑的一些复杂性界限
作者:
Stolboushkin A.P.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
9.
Proof theory and semantics of logic programs
机译:
逻辑计划的证明理论和语义
作者:
Gaifman H.
;
Shapiro E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
10.
How complete is PER?
机译:
每个如何完成?
作者:
Robinson E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
11.
Axiomatizing net computations and processes
机译:
公理净计算和流程
作者:
Degano P.
;
Meseguer J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
12.
The mathematics of nonmonotonic reasoning
机译:
非单调推理的数学
作者:
Lifschitz V.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
13.
Equality in lazy computation systems
机译:
惰性计算系统中的平等
作者:
Howe D.J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
14.
On the complexity of epistemic reasoning
机译:
论认知推理的复杂性
作者:
Vardi M.Y.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
15.
A sufficient condition for the termination of the direct sum of term rewriting systems
机译:
一种足够的条件,用于终止术语重写系统的直接和
作者:
Middeldorp A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
16.
Towards action-refinement in process algebras
机译:
走向过程代数的行动细化
作者:
Aceto L.
;
Hennessy M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
17.
Non trivial power types can't be subtypes of polymorphic types
机译:
非琐碎的权力类型不能是多态性类型的亚型
作者:
Pitt A.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
18.
Computational lambda-calculus and monads
机译:
计算λ - 微积分和金属人
作者:
Moggi E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
19.
Structure and representation in LF
机译:
LF中的结构和表示
作者:
Harper R.
;
Sannella D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
20.
Non-well-founded sets obtained from ideal fixed points
机译:
从理想的固定点获得的非良好成立的集合
作者:
Mislove M.W.
;
Moss L.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
21.
Stratified polymorphism
机译:
分层多态性
作者:
Leivant D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
22.
Unified algebras and institutions
机译:
统一的代数和机构
作者:
Mosses P.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
23.
Compositional model checking
机译:
组成模型检查
作者:
Clarke E.M.
;
Long D.E.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
24.
Fixpoint extensions of first-order logic and datalog-like languages
机译:
Fixpoint扩展一阶逻辑和数据记录类似的语言
作者:
Abiteboul S.
;
Vianu V.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
25.
Extending the lambda calculus with surjective pairing is conservative
机译:
用来调节配对延伸Lambda微积分是保守的
作者:
De Vrijer R.
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
关键词:
lambda calculus;
formal logic;
formal languages;
conservative extension;
syntactic consistency proof;
reduction system;
axioms;
equational theory;
surjective pairing;
26.
PARTHENON: a parallel theorem prover for nonHorn clauses
机译:
Parthenon:非角金翁条款的平行定理箴言
作者:
Bose S.
;
Clarke E.M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
27.
Type inference for record concatenation and multiple inheritance
机译:
键入记录串联和多重继承的推理
作者:
Wand M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
28.
RI: a logic for reasoning with inconsistency
机译:
ri:带来不一致的逻辑
作者:
Kifer M.
;
Lozinskii E.L.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
29.
mu -definable sets of integers
机译:
mu -defile集的整数
作者:
Lubarsky R.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
30.
Elf: a language for logic definition and verified metaprogramming
机译:
ELF:逻辑定义和验证的MetaCrogramming语言
作者:
Pfenning F.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
31.
Inheritance and explicit coercion
机译:
继承和明确强制
作者:
Breazu-Tannen V.
;
Coquand T.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
32.
ECC, an extended calculus of constructions
机译:
ECC,扩展的结构微积分
作者:
Luo Z.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
33.
Extending the lambda calculus with surjective pairing is conservative
机译:
用来调节配对延伸Lambda微积分是保守的
作者:
De Vrijer R.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
34.
Emil Post's contributions to computer science
机译:
Emil Post对计算机科学的贡献
作者:
Davis M.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
35.
Characterizing complexity classes by higher type primitive recursive definitions
机译:
通过较高型原始递归定义来表征复杂性类
作者:
Goerdt A.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
36.
On simultaneously determinizing and complementing omega -automata
机译:
同时确定和补充ω-automata
作者:
Emerson E.A.
;
Jutla C.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
37.
Domains and logics
机译:
域名和逻辑
作者:
Scott D.S.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
38.
How complete is PER?
机译:
每个如何完成?
作者:
Robinson E.
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
关键词:
PER;
numb;
formal logic;
equivalence classes;
complete categories;
completeness properties;
modeling-type theory;
intuitionistic Zermelo-Fraenkel set theory;
nonstandard model;
higher-order type theory;
natural numbers;
partial equivalence relations;
39.
A probabilistic powerdomain of evaluations
机译:
评估的概率电源组合
作者:
Jones C.
;
Plotkin G.D.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
40.
A game-theoretic modeling of concurrency
机译:
并发的游戏理论模型
作者:
Moschovakis Y.N.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
41.
Polynomially graded logic I. A graded version of system T
机译:
多项式分级逻辑I.系统T的分级版本
作者:
Nerode A.
;
Remmel J.B.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
42.
Computational consequences and partial solutions of a generalized unification problem
机译:
普遍统一问题的计算后果和部分解决方案
作者:
Kfoury A.J.
;
Tiuryn J.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
43.
Axiomatizing operational equivalence in the presence of side effects
机译:
在存在副作用时公开操作当量
作者:
Mason I.A.
;
Talcott C.
;
Institute of Electric and Electronic Engineer
会议名称:
《Annual Symposium on Logic in Computer Science》
|
1989年
意见反馈
回到顶部
回到首页