A Decision Procedure for String to Code Point Conversion

机译：字符串到代码点转换的决策过程

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Andrew Reynolds; Andres Nötzli; Clark Barrett; Cesare Tinelli;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Conversion of STOPP/START version 2 into coded algorithms for software implementation: A multidisciplinary consensus procedure [J] . Huibers Corlina J. A., Sallevelt Bastiaan T. G. M., de Groot Dominique A., International journal of medical informatics . 2019,第MAY期

机译：将STOPP / START版本2转换为用于软件实现的编码算法：多学科共识程序
2. Unicode Encoding Conversions with STL Strings and Win32 APIs [J] . Giovanni Dicanio MSDN Magazine . 2016,第9期

机译：使用STL字符串和Win32 API进行Unicode编码转换
3. Majority Voting Procedure Allowing Soft Decision Decoding of Linear Block Codes on Binary Channels [J] . Sa?d Nouh, Achraf El Khatabi, Mostafa Belkasmi International journal of communications, network, and system sciences . 2012,第9期

机译：多数表决程序允许二进制信道上线性分组码的软判决解码
4. A Decision Procedure for String to Code Point Conversion [C] . Andrew Reynolds, Andres Noetzli, Clark Barrett, International Joint Conference on Automated Reasoning . 2020

机译：字符串到代码点转换的决策过程
5. A Polynomial Time Procedure Converting Error Correcting Codes to Semantically Secure Wiretap Codes [D] . Kubischta, Eric. 2018

机译：多项式时间过程，将纠错码转换为语义上安全的窃听码
6. The role of the unusual threonine string in the conversion of prion protein [O] . Romany Abskharon, Fei Wang, Kayla J. Vander Stel, -1

机译：异常苏氨酸串在of蛋白转化中的作用
7. Proposal for a Council Regulation (EC)on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Czech Republic, of the other part; 94/0331 (ACC): Proposal for a Council Regulation (EC) on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Slovak Republic, of the other part (presented by the Commission). Communication from the Commission: Request for Council assent and consultation of the ECSC committee, pursuant to Article 95 of the ECSC Treaty, concerning a draft; Commission Decisionon certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Czech Republic, of the other part; Commission Decisionon certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Slovak Republic, of the other part; Commission Decisionon certain procedures for applying the Agreement on free trade and trade-related matters between the European Community, the European Atomic Energy Community and the European Coal and Steel Community of the one part, and the Republic of Estonia, of the other part, Commission Decisionon certain procedures for applying the Agreement on free trade and trade-related matters between theEuropean Community, the European Atomic Energy Community and the European Coal and Steel Community of the one part, and the Republic of Latvia, of the other part, Commission Decision on certain procedures for applying the Agreement on free trade and trade-related matters between theEuropean Community, the European Atomic Energy Community and the European Coal and Steel Community of the one part, and the Republic of Lithuania, of the other part, Commission Decision on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Republic of Bulgaria, of the other part; Commission Decision on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and Romania, of the other part. COM (94) 680 final, 16 December 1994 [O] . 1994

机译：关于理事会条例（EC）的提案关于在欧洲共同体及其成员国之间建立欧洲协定的某些程序的一部分，另一部分是捷克共和国; 94/0331（aCC）：关于实施欧洲协定的某些程序的理事会条例（EC）的提案，其中一部分是欧洲共同体及其成员国与斯洛伐克共和国之间建立联系的另一部分（由委员会提出）。委员会的来文：根据ECsC条约第95条，要求理事会同意和协商ECsC委员会有关草案;佣金决定关于在欧洲共同体及其成员国之间建立欧洲协定的某些程序的一部分，另一部分是捷克共和国;佣金决定关于在欧洲共同体与其成员国之间建立联系的欧洲协定的某些程序，另一部分是斯洛伐克共和国;佣金决定关于欧洲共同体，欧洲原子能共同体和欧洲煤钢共同体之间的自由贸易和贸易相关事项协定的某些程序，以及另一部分委员会决定的爱沙尼亚共和国关于实施自由贸易和贸易相关事项协议的某些程序欧洲共同体，欧洲原子能共同体和欧洲煤钢共同体的一部分，以及拉脱维亚共和国的另一部分，委员会关于适用于自由贸易和贸易相关事项协定的某些程序的决定。欧洲共同体，欧洲原子能共同体和欧洲煤钢共同体的另一部分，立陶宛共和国，另一部分，委员会关于适用欧洲协定建立欧洲共同体与其其中一部分是成员国，另一部分是保加利亚共和国;委员会关于适用欧洲协定的某些程序的决定，其中一部分是欧洲共同体与其成员国之间建立联系，另一部分是罗马尼亚。 COm（94）680决赛，1994年12月16日

A Decision Procedure for String to Code Point Conversion

著录项

引文网络

相似文献

相关主题

期刊订阅