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

AbnerCYH logic [18 articles]

Recent papers added to AbnerCYH library classified by the tag logic. You can also see everyone's logic.
  • Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
    (11 June 2007)
    by Erich Grädel, Phokion G Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y Vardi, Yde Venema, Scott Weinstein
    posted to complexity logic math by AbnerCYH on 2008-04-22 06:10:52 as ** along with 3 people JakubSzymanik leonardo masteraka
  • Fixed-Parameter Tractability, Definability, and Model-Checking
    SIAM Journal on Computing, Vol. 31, No. 1. (2001), pp. 113-145.
    by Jörg Flum, Martin Grohe
    posted to algorithms complexity graph logic parameterized by AbnerCYH on 2008-03-26 09:20:30 as **
  • The modular decomposition of countable graphs. Definition and construction in monadic second-order logic
    Theoretical Computer Science, Vol. 394, No. 1-2. (31 March 2008), pp. 1-38.
    by Bruno Courcelle, Christian Delhomme
    posted to algorithms graph logic math by AbnerCYH on 2008-03-10 16:26:44 as **
  • Minimization of decision trees is hard to approximate
    Journal of Computer and System Sciences, Vol. 74, No. 3. (May 2008), pp. 394-403.
    by Detlef Sieling
    posted to algorithms complexity kdd logic by AbnerCYH on 2008-01-22 14:44:55 as **
  • Kolmogorov complexities Kmax, Kmin on computable partially ordered sets
    (2 Jan 2008)
    by Marie Ferbus-Zanda, Serge Grigorieff
    posted to algorithms complexity logic order by AbnerCYH on 2008-01-04 12:39:07 as ** along with 1 person A_Olympia
  • Is Randomness "Native" to Computer Science?
    (1 Jan 2008)
    by Marie Ferbus-Zanda, Serge Grigorieff
    posted to complexity logic math by AbnerCYH on 2008-01-04 12:36:43 as ** along with 1 person ansobol
  • Symbolic Graphs: Linear Solutions to Connectivity Related Problems
    Algorithmica, Vol. 50, No. 1. (15 January 2008), pp. 120-158.
    by Raffaella Gentilini, Carla Piazza, Alberto Policriti
    posted to algorithms graph logic by AbnerCYH on 2007-12-16 16:17:23 as **
  • Complexity measures and decision tree complexity: a survey
    Theoretical Computer Science, Vol. 288, No. 1. (9 October 2002), pp. 21-43.
    by Harry Buhrman, Ronald de Wolf
    posted to algorithms complexity logic by AbnerCYH on 2007-11-08 18:40:15 as **
  • Boolean Delay Equations: A simple way of looking at complex systems
    (24 Oct 2007)
    by Michael Ghil, Ilya Zaliapin, Barbara Coluzzi
    posted to complex economic logic math by AbnerCYH on 2007-10-27 16:53:07 as ** along with 1 person ansobol
  • Size-depth trade-offs for threshold circuits
    (1993), pp. 541-550.
    by Russell Impagliazzo, Ramamohan Paturi, Michael E Saks
    posted to complexity logic by AbnerCYH on 2007-10-23 10:12:03 as **
  • Computational model theory: An overview
    (1998)
    by M Vardi
    posted to logic math by AbnerCYH on 2007-09-27 19:20:09 as ** along with 2 people scis0000001 Scis0000002
  • Logic, Graphs, and Algorithms
    (2007)
    by Martin Grohe
    posted to algorithms complexity graph logic by AbnerCYH on 2007-09-25 17:10:00 as *****
  • notes Classes of Recursively Enumerable Sets and Their Decision Problems
    Transactions of the American Mathematical Society, Vol. 74, No. 2. (1953), pp. 358-366.
    by HG Rice
    posted to complexity logic by AbnerCYH on 2007-09-21 09:56:19 as ** along with 1 group CSBBGraphTheory
  • The parameterized complexity of database queries
    (2001), pp. 82-92.
    by Martin Grohe
    posted to algorithms complexity logic by AbnerCYH on 2007-08-23 12:13:18 as ** along with 1 group CSBBGraphTheory
  • Parameterized circuit complexity and the W hierarchy
    Theoretical Computer Science, Vol. 191, No. 1-2. (30 January 1998), pp. 97-115.
    by Rodney G Downey, Michael R Fellows, Kenneth W Regan
    posted to algorithms complexity logic by AbnerCYH on 2007-08-23 06:25:21 as ** along with 1 group CSBBGraphTheory
  • The classical decision problem
    (1997)
    by Egon Börger, Erich Grädel, Yuri Gurevich
    posted to complexity logic by AbnerCYH on 2007-07-28 15:27:32 as ** along with 1 group CSBBGraphTheory
  • Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width
    Theory of Computing Systems, Vol. 33, No. 2. (4 March 2000), pp. 125-150.
    by B Courcelle, JA Makowsky, U Rotics
    posted to algorithms graph logic by AbnerCYH on 2007-07-25 10:38:13 as ** along with 1 group CSBBGraphTheory
  • Monadic Second-Order Evaluations on Tree-Decomposable Graphs.
    Theor. Comput. Sci., Vol. 109, No. 1&2. (1993), pp. 49-82.
    by Bruno Courcelle, Mohamed Mosbah
    posted to algorithms complexity logic by AbnerCYH on 2007-07-25 08:49:36 as ** along with 1 group CSBBGraphTheory
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/AbnerCYH/tag/logic

    RIS BibTeX RSS
    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.