首页> 外文OA文献 >An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras

【2h】

An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras

机译：类别理论语义在高阶函数代数复杂类表征中的应用

页面导航

著录项
相似文献
相关主题

著录项

作者
Martin Hofmann; Martin Hofmann Darmstadt;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. AN APPLICATION OF CATEGORY-THEORETIC SEMANTICS TO THE CHARACTERISATION OF COMPLEXITY CLASSES USING HIGHER-ORDER FUNCTION ALGEBRAS [J] . Martin Hofmann The bulletin of symbolic logic . 1997,第4期

机译：分类理论语义学在高阶函数代数刻画复杂性分类中的应用
2. Complexity of systems of functions of Boolean algebra and systems of functions of three-valued logic in classes of polarized polynomial forms [J] . Svetlana N. Selezneva Discrete mathematics and applications . 2016,第2期

机译：极化多项式形式的布尔代数函数系统和三值逻辑函数系统的复杂性
3. Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions [J] . Olivier Bournez, Walid Gomaa, Emmanuel Hainry International journal of unconventional computing . 2011,第5期

机译：复杂度的代数表征-实函数的理论类
4. The Power of Non-determinism in Higher-Order Implicit Complexity Characterising Complexity Classes Using Non-deterministic Cons-Free Programming [C] . Cynthia Kop, Jakob Grue Simonsen European symposium on programming;European joint conferences on theory and practice of software . 2017

机译：高阶隐式复杂性中非确定性的力量-使用非确定性的无约束程序来表征复杂性类
5. Topological and category-theoretic aspects of abstract elementary classes. [D] . Lieberman, Michael Joseph. 2009

机译：抽象基本类的拓扑和类别理论方面。
6. Algebraic and Combinatorial Properties of Common RNA Pseudoknot Classes with Applications [O] . Markus E. Nebel, Frank Weinberg -1

机译：常见RNA假结类的代数和组合性质及其应用
7. Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions [O] . Bournez Olivier, Gomaa Walid, Hainry Emmanuel 2011

机译：复杂度的代数表征-实函数的理论类
8. An Analysis of Some Relationships Between Post and Boolean Algebras with Application to the Minimization of Higher-Order Boolean Functions [R] . Wojcik, A. S., Metze, G. 1971

机译：一类布尔代数与布尔代数的关系分析及其在高阶布尔函数最小化中的应用

An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function Algebras

著录项

相似文献

相关主题

期刊订阅