Showing 41 - 60 results of 83 for search '"complexity classes"', query time: 0.19s Refine Results
  1. 41
    Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
    Published 2014
    Table of Contents: “… and Kernelization in the Parallel External Memory Model -- Capturing Bisimulation-Invariant Complexity Classes…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 42
    STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings /
    Published 1997
    Table of Contents: “…: Lower space bounds and hierarchies of complexity classes -- MODp-tests, almost independence and small…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Characterizations of Complexity Classes -- Approximation Algorithms and Hardness Results for Labeled Connectivity…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    Parameterized Complexity Theory
    by Flum, Jörg, Grohe, Martin
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  5. 45
    Exact Design of Digital Microfluidic Biochips
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    STACS 98 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings /
    Published 1998
    Table of Contents: “… degree -- On the structure of valiant's complexity classes -- On the existence of polynomial time…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 47
    Perspectives in Computational Complexity The Somenath Biswas Anniversary Volume /
    Published 2014
    Table of Contents: “… Surface-embedded Graphs (N.V. Vinodchandran) -- 4. Algebraic Complexity Classes (Meena Mahajan) -- 5. A…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    Fundamentals of Computation Theory 11th International Symposium, FCT '97, Krakow, Poland, September 1-3, 1997. Proceedings /
    Published 1997
    Table of Contents: “…The complexity class ? p 2 : Recent results and applications in AI and modal logic -- Proof systems…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 49
    Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
    Published 1999
    Table of Contents: “… of H-Subsumption -- Complexity Classes and Rewrite Systems with Polynomial Interpretation -- RPO…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 50
    FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai, India, December 15-17, 2003. Proceedings /
    Published 2003
    Table of Contents: “… Secrecy Decidable with Unbounded Nonces as Well -- Quantum and Classical Complexity Classes: Separations…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 51
    Computer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- A Padding Technique on Cellular Automata to Transfer Inclusions of Complexity Classes -- Kolmogorov…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 52
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Published 2010
    Table of Contents: “… Models -- Characterising Space Complexity Classes via Knuth-Bendix Orders -- Focused Natural Deduction…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 53
    Computer Science Logic 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings /
    Published 2007
    Table of Contents: “… on Words -- On the Complexity of Reasoning About Dynamic Policies -- Relativizing Small Complexity Classes…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 54
    Algorithmic Game Theory Second International Symposium, SAGT 2009, Paphos, Cyprus, October 18-20, 2009. Proceedings /
    Published 2009
    Full Text via HEAL-Link
    Electronic eBook
  15. 55
    Algorithms and Complexity Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Syntactic characterization in Lisp of the polynomial complexity classes and hierarchy -- On the drift…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 56
    Sequences and Their Applications – SETA 2006 4th International Conference Beijing, China, September 24-28, 2006 Proceedings /
    Published 2006
    Table of Contents: “… -- On the Classification of Periodic Binary Sequences into Nonlinear Complexity Classes -- Sequences of Period 2 N –2 -- A…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 57
    Fundamentals of Computation Theory 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings /
    Published 2003
    Table of Contents: “… Simulations -- Dimension- and Time-Hierarchies for Small Time Bounds -- Baire's Categories on Small Complexity…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 58
    Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings /
    Published 2001
    Table of Contents: “… Theory to Capture Complexity Classes and Space Behaviour -- Definability of Total Objects in PCF…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 59
    Αλγοριθμική θεωρία παιγνίων και σχεδιασμός μηχανισμών
    Get full text
  20. 60
    Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday /
    Published 2010
    Table of Contents: “…, Relativizations and Logics for Complexity Classes -- Effective Closed Subshifts in 1D Can Be Implemented in 2D…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search