Showing 1 - 8 results of 8 for search '"Turing completeness"', query time: 0.08s Refine Results
  1. 1
    Oracle SQL Revealed Executing Business Logic in the Database Engine /
    by Reprintsev, Alex, Reprintsev, Alex
    Published 2018
    Table of Contents: “… -- 10. Turing Completeness -- -- Part II: PL/SQL and Patterns -- 11. When PL/SQL is Better -- 12…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Algorithms and Complexity Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings /
    Published 1997
    Table of Contents: “… -- Fault tolerant K-center problems -- R 1?tt SN (NP) distinguishes robust many-one and Turing completeness…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Unconventional Computation 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Computers and Transfinite Computation -- Regular Contributions -- Turing Completeness Using Three Mobile…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Implementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Regular Languages Inference -- Poster Abstracts -- XSLT Version 2.0 Is Turing-Complete: A Purely…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
    Published 2014
    Table of Contents: “…: Proving a Simple Von Neumann Machine Turing Complete -- The Reflective Milawa Theorem Prover Is Sound…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
    Published 2008
    Table of Contents: “… Order Constraint Problem -- A Constraint Logic Programming Approach to Automated Testing -- Turing…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Code Generation with Templates
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Introducing Ethereum and Solidity Foundations of Cryptocurrency and Blockchain Programming for Beginners /
    by Dannen, Chris
    Published 2017
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search