首页>外文会议>Theoretical Computer Science

Theoretical Computer Science

召开年：2001
召开地：Torino(IT);Torino(IT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.An Effective Translation of Fickle into Java (Extended Abstract)

机译：Fickle到Java的有效翻译（扩展摘要）
- 作者：Davide Ancona;Christopher Anderson;Ferruccio Damiani;Sophia Drossopoulou;Paola Giannini;Elena Zucca
- 会议名称：《Theoretical Computer Science》 | 2001年
2.Block-Deterministic Regular Languages

机译：块确定性常规语言
- 作者：Dora Giammarresi;Rosa Montalbano;Derick Wood
- 会议名称：《Theoretical Computer Science》 | 2001年
3.Call-by-Value Separability and Computability

机译：按值打电话的可分离性和可计算性
- 作者：Luca Paolini
- 会议名称：《Theoretical Computer Science》 | 2001年
4.Complexity of Layered Binary Search Trees with Relaxed Balance

机译：平衡松弛的分层二叉搜索树的复杂性
- 作者：Lars Jacobsen;Kim S. Larsen
- 会议名称：《Theoretical Computer Science》 | 2001年
5.Confluence of Untyped Lambda Calculus via Simple Types

机译：通过简单类型的无类型Lambda演算的融合
- 作者：Silvia Ghilezan;Viktor Kuncak
- 会议名称：《Theoretical Computer Science》 | 2001年
6.Constructing Finite Maximal Codes from Schuetzenberger Conjecture

机译：根据舒岑贝格猜想构造有限的最大码
- 作者：Marcella Anselmo
- 会议名称：《Theoretical Computer Science》 | 2001年
7.Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold

机译：息票收集者，q-二项式系数和不满足阈值
- 作者：Alexis C. Kaporis;Lefteris M. Kirousis;Yannis C. Stamatiou;Malvina Vamvakari;Michele Zito
- 会议名称：《Theoretical Computer Science》 | 2001年
8.Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach

机译：有向超图：问题，算法结果和新颖的递减方法
- 作者：Giorgio Ausiello;Paolo G. Franciosa;Daniele Frigioni
- 会议名称：《Theoretical Computer Science》 | 2001年
- directed hypergraph;
- minimum weight hyperpath;
- dynamic algorithm;
- AND/OR graph;
9.Distance Constrained Labeling of Precolored Trees

机译：预着色树的距离约束标签
- 作者：Jiri Fiala;Jan Kratochvil;Andrzej Proskurowski
- 会议名称：《Theoretical Computer Science》 | 2001年
10.E-unifiability via Narrowing

机译：通过缩小的电子统一性
- 作者：Emanuele Viola
- 会议名称：《Theoretical Computer Science》 | 2001年
11.Exponentially Decreasing Number of Operations in Balanced Trees

机译：平衡树中的运算数量呈指数下降
- 作者：Lars Jacobsen;Kim S. Larsen
- 会议名称：《Theoretical Computer Science》 | 2001年
12.Filter Models and Easy Terms

机译：过滤器模型和简单术语
- 作者：Fabio Alessi;Mariangiola Dezani-Ciancaglini;Furio Honsell
- 会议名称：《Theoretical Computer Science》 | 2001年
13.Incremental Inference of Partial Types

机译：部分类型的增量推断
- 作者：Mario Coppo;Daniel Hirschkoff
- 会议名称：《Theoretical Computer Science》 | 2001年
14.Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Set of Autonomous Mobile Robots

机译：瞬时动作与完全异步：控制和协调一组自主移动机器人
- 作者：Giuseppe Prencipe
- 会议名称：《Theoretical Computer Science》 | 2001年
- mobile robots;
- distributed coordination;
- distributed models;
- computability;
15.Job Shop Scheduling Problems with Controllable Processing Times

机译：处理时间可控的Job Shop调度问题
- 作者：Klaus Jansen;Monaldo Mastrolilli;Roberto Solis-Oba
- 会议名称：《Theoretical Computer Science》 | 2001年
16.Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms

机译：具有单位长度任务的Job Shop调度：界限和算法
- 作者：Juraj Hromkovic;Kathleen Steinhoefel;Peter Widmayer
- 会议名称：《Theoretical Computer Science》 | 2001年
17.A Calculus and Complexity Bound for Minimal Conditional Logic

机译：最小条件逻辑的微积分和复杂度
- 作者：Nicola Olivetti;Camilla B. Schwind
- 会议名称：《Theoretical Computer Science》 | 2001年
18.A LTS Semantics of Ambients via Graph Synchronization with Mobility

机译：通过移动图同步实现环境的LTS语义
- 作者：GianLuigi Ferrari;Ugo Montanari;Emilio Tuosto
- 会议名称：《Theoretical Computer Science》 | 2001年
19.On Synchronous and Asynchronous Communication Paradigms

机译：关于同步和异步通信范例
- 作者：Diletta Cacciagrano;Flavio Corradini
- 会议名称：《Theoretical Computer Science》 | 2001年
20.On the Distribution of a Key Distribution Center

机译：关于重点配送中心的配送
- 作者：Paolo DArco
- 会议名称：《Theoretical Computer Science》 | 2001年
- key distribution;
- protocols;
- distributed systems;
21.Online Advertising: Secure E-coupons

机译：在线广告：安全的电子优惠券
- 作者：Stelvio Cimato;Annalisa De Bonis
- 会议名称：《Theoretical Computer Science》 | 2001年
22.P Systems with Gemmation of Mobile Membranes

机译：带可移动膜的P系统
- 作者：Daniela Besozzi;Claudio Zandron;Giancarlo Mauri;Nicoletta Sabadini
- 会议名称：《Theoretical Computer Science》 | 2001年
23.Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach

机译：具有不完全知识的复杂动作的推理：一种模态方法
- 作者：Matteo Baldoni;Laura Giordano;Alberto Martelli;Viviana Patti
- 会议名称：《Theoretical Computer Science》 | 2001年
24.Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions

机译：关联部分解决方案和完整解决方案以及计算最小解决方案的复杂性
- 作者：Andre Grosse;Joerg Rothe;Gerd Wechsung
- 会议名称：《Theoretical Computer Science》 | 2001年
- partial solutions;
- complexity of smallest solutions;
- self-reducibility;
- graph isomorphisms;
- Hamiltonian cycles;
- graph colorability;
25.Some Structural Properties of Associative Language Descriptions

机译：联想语言描述的一些结构特性
- 作者：Alessandra Cherubini;Stefano Crespi Reghizzi;Pierluigi San Pietro
- 会议名称：《Theoretical Computer Science》 | 2001年
26.Subtyping and Matching for Mobile Objects

机译：移动对象的子类型化和匹配
- 作者：Michele Bugliesi;Giuseppe Castagna;Silvia Crafa
- 会议名称：《Theoretical Computer Science》 | 2001年
27.Upper Bounds on the Size of One-Way Quantum Finite Automata

机译：单向量子有限自动机的大小的上界
- 作者：Carlo Mereghetti;Beatrice Palano
- 会议名称：《Theoretical Computer Science》 | 2001年
- quantum finite automata;
- periodic events and languages;