首页>外文会议>其他>Annual IEEE Symposium on Logic in Computer Science

Annual IEEE Symposium on Logic in Computer Science

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.A constructive formalization of the catch and throw mechanism

机译：捕捞机制的建设性形式化
- 作者：Nakano H.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
2.Fixpoint logic vs. infinitary logic in finite-model theory

机译：有限型号理论中的FixPoint逻辑与无限逻辑
- 作者：Kolaitis P.G.;Vardi M.Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
3.Deterministic vs. nondeterministic transitive closure logic

机译：确定性Vs.非预定传递闭合逻辑
- 作者：Gradel E.;McColm G.L.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
4.Third order matching is decidable

机译：三阶匹配是可判定的
- 作者：Dowek G.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
5.There is no recursive axiomatization for feasible functionals of type 2

机译：没有递归公理化，可行的2型可行功能
- 作者：Seth A.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
6.Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science (Cat. No.92CH3127-8)

机译：第七届计算机科学逻辑的第七届IEEE研讨会课程（猫。No.92CH3127-8）
- 作者：Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
7.Origins of the calculus of binary relations

机译：二元关系微积分的起源
- 作者：Pratt V.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
8.Zero-one laws for modal logic

机译：零一个模态逻辑法律
- 作者：Halpern J.Y.;Kapron B.M.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
9.A calculus of dataflow networks

机译：数据流网络的微积分
- 作者：Stark E.W.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
10.References, local variables and operational reasoning

机译：参考，局部变量和操作推理
- 作者：Mason I.A.;Talcott C.L.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
11.The type and effect discipline

机译：类型和效应纪律
- 作者：Talpin J.-P.;Jouvelot P.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
12.The category of constraint systems is Cartesian-closed

机译：约束系统的类别是笛卡尔封闭的
- 作者：Saraswat V.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
13.An engine for logic program analysis

机译：用于逻辑程序分析的引擎
- 作者：Heintze N.;Jaffar J.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
14.Functional parametricity

机译：功能参数
- 作者：Freyd P.J.;Robinson E.P.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
15.Cutting planes and constant depth Frege proofs

机译：切割平面和恒定深度菲格尔
- 作者：Clote P.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
16.Logical hierarchies in PTIME

机译：Ptime中的逻辑层次结构
- 作者：Hella L.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
17.The Church-Rosser property for beta eta -reduction in typed lambda -calculi

机译：Typed Lambda -Calculi的Beta Eta -recoction的教堂 - 罗斯特物业
- 作者：Geuvers H.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
18.Equivalences on observable processes

机译：可观察过程中的等效性
- 作者：Ulidowski I.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
19.Strong sequentiality of left-linear overlapping term rewriting systems

机译：左线性重叠术语重写系统的强序列性
- 作者：Toyama Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
20.Turning SOS rules into equations

机译：将SOS规则转变为方程
- 作者：Aceto L.;Bloom B.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
21.Random worlds and maximum entropy

机译：随机世界和最大熵
- 作者：Grove A.J.;Halpern J.Y.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
22.An abstract standardisation theorem

机译：一种抽象标准化定理
- 作者：Gonthier G.;Levy J.-J.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
23.A computational analysis of Girard's translation and LC

机译：Girard翻译与LC的计算分析
- 作者：Murthy C.R.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
24.Retracts in simply type lambda beta eta -calculus

机译：简单地缩回Lambda Beta Eta-Calculus
- 作者：deLiguoro U.;Piperno A.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
25.Progress measures, immediate determinacy, and a subset construction for tree automata

机译：树自动机的进展措施，立即确定性和子集结构
- 作者：Klarlund N.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
26.Operational aspects of linear lambda calculus

机译：线性λ微积分的操作方面
- 作者：Lincoln P.;Mitchell J.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
27.Decidable problems in shallow equational theories

机译：浅级理论中的可判定问题
- 作者：Comon H.;Haberstrau M.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
28.Generalized quantifiers and pebble games on finite structures

机译：有限结构上的广义量词和鹅卵石游戏
- 作者：Kolaitis P.G.;Vaananen J.A.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
29.Subtype inequalities

机译：亚型不等式
- 作者：Tiuryn J.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
30.Monadic theory of term rewritings

机译：期限重写的星系理论
- 作者：Caucal D.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
31.Compiler verification in LF

机译：编译器验证LF
- 作者：Hannan J.;Pfenning F.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
32.Specifications in software development

机译：软件开发规范
- 作者：Wing J.M.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
33.New foundations for the geometry of interaction

机译：互动几何形状的新基础
- 作者：Abramsky S.;Jagadeesan R.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
34.Mixing list recursion and arithmetic

机译：混合列表递归和算术
- 作者：Fribourg L.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
35.Disjunctive strictness analysis

机译：析出严格分析
- 作者：Jensen T.P.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
36.Symbolic model checking for real-time systems

机译：实时系统符号模型检查
- 作者：Henzinger T.A.;Nicollin X.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
37.The lazy lambda calculus in a concurrency scenario

机译：并发方案中的懒惰Lambda微积分
- 作者：Sangiorgi D.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
38.Minimal model semantics for nonmonotonic modal logics

机译：非单调模态逻辑的最小模型语义
- 作者：Schwarz G.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
39.Axiomatizable classes of finite models and definability of linear order

机译：公正的有限型号和线性秩序的可定性课程
- 作者：Stolboushkin A.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
40.Horn programming in linear logic is NP-complete

机译：线性逻辑中的喇叭编程是NP-Complete
- 作者：Kanovich M.I.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
41.Double-exponential complexity of computing a complete set of AC-unifiers

机译：计算一整套AC-Unifiers的双指数复杂性
- 作者：Kapur D.;Narendran P.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
42.Linear logic without boxes

机译：没有盒子的线性逻辑
- 作者：Gonthier G.;Abadi M.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
43.Solving systems of set constraints

机译：求解集约束系统
- 作者：Aiken A.;Wimmers E.L.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
44.Observable algorithms on concrete data structures

机译：混凝土数据结构的可观察算法
- 作者：Curien P.-L.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年
45.Asynchronous communication in process algebra

机译：过程代数中的异步通信
- 作者：de Boer F.S.;Klop J.W.;Institute of Electric and Electronic Engineer
- 会议名称：《Annual IEEE Symposium on Logic in Computer Science》 | 1992年