Регистрация | Вход в службу | FAQ      [?] 

Ключевое слово computational-complexity-theory [8 articles]

Recent papers classified by the tag computational-complexity-theory.
  • A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
    ArXiv Quantum Physics e-prints (March 2007)
    by A Doering, CJ Isham
    posted to cartesian-closed-categories categorical-logic computational-complexity-theory computational-logic conceptua conceptual-structures formal-interoperability formality formal-physics functional-programming general-logics goedel-machine hierarchy-of-complexity-classes higher-order-categorical-logic higher-topos-theory hyperdoctrines inquiry interoperability intuitionistic-logic lamda-calculus language-selection local-mathematics logical-structures logical-theories logic-selection metalogical-frameworks metalogics philosophy-of-science physical-models physical-theories relativity resource-allocation sketches toposes topos-morphisms topos-theory type-theory by Scis0000002 on 2007-07-07 14:51:07 as ** along with 5 people jrw proportional madhadron scis0000001 gpi
  • Reflective metalogical frameworks
    ACM Trans. Comput. Logic, Vol. 5, No. 3. (July 2004), pp. 528-576.
    by David Basin, Manuel Clavel, Jos&\#233; Meseguer
    posted to cognitive-architectures computational-complexity-theory formal-interoperability formal-problem-solving goedel-machine hierarchy-of-machines inference metainference metainferencing metalanguage metalanguages metalogical-frameworks metalogics metamathematics metareasoning reflectivity self-reflectivity by Scis0000002 on 2007-07-10 09:29:14 as ** along with 3 people and 1 group dalev scis0000001 Benja NU-PRL
  • Constructive Complexity and Artificial Reality: An Introduction
    (July 1994), 7001.
    by K Kaneko, I Tsuda
    posted to al complexity complexity-theory computational-complexity-theory constructive-complexity descriptive-complexity kolmogorov-complexity modeling representation total-order by Scis0000002 on 2007-07-06 08:08:14 as **
  • Carnap and Quine on the distinction between external and internal questions
    Philosophical Studies, Vol. 33, No. 3. (1 April 1978), pp. 301-312.
    by Bruce N Waller
    posted to algorithmic-information-theory categories category-theory coding complexity-classes computational-complexity-theory formal-theories languages linguistic-frameworks logical-frameworks mathematical-structures metalogical-frameworks metaphilosophical-frameworks question-asking representations toes toposes topos-theory unified-concept-theory unifying by Scis0000002 on 2008-06-27 13:13:44 as ** along with 1 person jrw
  • Semigroups, automata and languages
    Semigroup Forum, Vol. 53, No. 1. (23 December 1996), pp. 394-398.
    by Gerard Lallement
    posted to algorithmic-information-theory automata automata-theory automatons category-of-languages computational-complexity-theory domain-theory formal-languages formal-language-theory metalogical-frameworks philosophy-of-science semigroups semigroup-theory topos-theory by Scis0000002 on 2008-05-05 14:37:40 as **
  • Finite Model Theory and Descriptive Complexity
    (2003)
    by E Grädel
    posted to computational-complexity-theory descriptive-complexity finite-model-theory model-theory by Scis0000002 on 2007-07-14 14:08:18 as **
  • Quantum complexity theory
    (1993), pp. 11-20.
    by Ethan Bernstein, Umesh Vazirani
    posted to complexity-theory computational-complexity-theory logics quantum-complexity-theory quantum-computing by Scis0000002 on 2007-12-28 14:31:52 as ** along with 1 person gvdh
  • Towards Understanding the Predictability of Stock Markets from the Perspective of Computational Complexity
    ArXiv Computer Science e-prints (October 2000)
    by J Aspnes, DF Fischer, MJ Fischer, MY Kao, A Kumar
    posted to boundedness computational-complexity-theory computational-epistemology markets predictability by Scis0000002 on 2007-12-16 15:31:51 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/tag/computational-complexity-theory

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.