registrieren | anmelden | FAQ      [?] 

Tag reducibility [8 articles]

Recent papers classified by the tag reducibility.
  • I-categories as a framework for solving domain equations
    Theoretical Computer Science, Vol. 115, No. 1. (1993), pp. 77-106.
    by Abbas Edalat, Michael B Smyth
  • Combining Partial Order and Symmetry Reductions
    (1997), pp. 19-34.
    by EA Emerson, S Jha, D Peled
    edited by E Brinksma
    posted to compression partial-order reducibility reduction symmetry by scis0000001 on 2007-02-04 16:39:36 as **
  • Computational depth and reducibility
    Theoretical Computer Science, Vol. 132, No. 1--2. (1994), pp. 37-70.
    by David W Juedes, James I Lathrop, Jack H Lutz
    posted to reducibility by scis0000001 on 2007-02-20 13:24:46 as **
  • Borel And Baire Reducibility
    by Harvey M Friedman
    posted to reducibility by scis0000001 on 2007-02-18 15:38:35 as **
  • Dimension Extractors
    (19 Jun 2006)
    by David Doty
  • Typing Untyped Lambda-Terms, or Reducibility Strikes Again!
    by Jean Gallier
    posted to intersection-types reducibility by pnkfelix on 2005-05-03 12:12:18 as **
  • Reducibility of rational fractions in several variables
    (20 Oct 2005)
    by Arnaud Bodin
  • The Kolmogorov complexity of random reals
    Annals of Pure and Applied Logic, Vol. 129, No. 1-3. (October 2004), pp. 163-180.
    by Liang Yu, Decheng Ding, Rodney Downey
    posted to kolmogorov_complexity prefix-free randomness reducibility by CLLC on 2006-03-27 23:32:07 as read
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/reducibility

    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.