Descriptive Complexity for counting complexity classes

机译：描述复杂性类别的描述性复杂性

代理获取

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

页面导航

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

著录项

作者
Marcelo Arenas; Martin Munoz; Cristian Riveros;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Descriptive Complexity for Counting Complexity Classes [J] . Riveros Cristian, Mu?oz Martin, Arenas Marcelo Logical Methods in Computer Science . 2020,第1期

机译：计算复杂性类别的描述性复杂性
2. Descriptive complexity of some isomorphism classes ofBanach spaces [J] . Gilles Godefroy, Jean Saint-Raymond Journal of Functional Analysis . 2018,第4期

机译：一些同构课程的描述性复杂性
3. Descriptive complexity of approximate counting CSPs [J] . Andrei Bulatov, Victor Dalmau, Marc Thurley LIPIcs : Leibniz International Proceedings in Informatics . 2013,第1期

机译：近似计数CSP的描述复杂性
4. Descriptive Complexity for counting complexity classes [C] . Marcelo Arenas, Martin Muñoz, Cristian Riveros Annual ACM/IEEE Symposium on Logic in Computer Science . 2017

机译：用于计算复杂度类别的描述性复杂度
5. Descriptive complexity of optimization and counting problems. [D] . Thakur, Madhukar Narayan. 1992

机译：优化和计数问题的描述性复杂性。
6. Dissecting tRNA-derived fragment complexities using personalized transcriptomes reveals novel fragment classes and unexpected dependencies [O] . Aristeidis G. Telonis, Phillipe Loher, Shozo Honda, 2015

机译：使用个性化的转录组解剖tRNA衍生的片段复杂性揭示了新颖的片段类别和意外的依赖性
7. Descriptive complexity of approximate counting CSPs [O] . Bulatov Andrei, Dalmau Victor, Thurley Marc 2013

机译：大致计算Csp的描述性复杂性
8. Trajectory-Based Complexity (TBX): A Modified Aircraft Count to Predict Sector Complexity During Trajectory-Based Operations. [R] . Prevot, T., Lee, P. U. 2011

机译：基于轨迹的复杂性（TBX）：一种改进的飞机计数，用于在基于轨迹的操作期间预测区域复杂性。

Descriptive Complexity for counting complexity classes

著录项

引文网络

相似文献

相关主题

期刊订阅