Literatura académica sobre el tema "Arithmetic Complexity Classes"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Arithmetic Complexity Classes".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Arithmetic Complexity Classes"
G�l, Anna y Avi Wigderson. "Boolean complexity classes vs. their arithmetic analogs". Random Structures and Algorithms 9, n.º 1-2 (agosto de 1996): 99–111. http://dx.doi.org/10.1002/(sici)1098-2418(199608/09)9:1/2<99::aid-rsa7>3.0.co;2-6.
Texto completoIgnjatović, Aleksandar. "Delineating classes of computational complexity via second order theories with weak set existence principles. I". Journal of Symbolic Logic 60, n.º 1 (marzo de 1995): 103–21. http://dx.doi.org/10.2307/2275511.
Texto completoJeřábek, Emil. "Approximate counting in bounded arithmetic". Journal of Symbolic Logic 72, n.º 3 (septiembre de 2007): 959–93. http://dx.doi.org/10.2178/jsl/1191333850.
Texto completoJaparidze, Giorgi. "Arithmetics based on computability logic". Logical Investigations 25, n.º 2 (23 de diciembre de 2019): 61–74. http://dx.doi.org/10.21146/2074-1472-2019-25-2-61-74.
Texto completoKupke, Clemens, Dirk Pattinson y Lutz Schröder. "Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics". ACM Transactions on Computational Logic 23, n.º 2 (30 de abril de 2022): 1–34. http://dx.doi.org/10.1145/3501300.
Texto completoHarnik, Victor. "Provably total functions of intuitionistic bounded arithmetic". Journal of Symbolic Logic 57, n.º 2 (junio de 1992): 466–77. http://dx.doi.org/10.2307/2275282.
Texto completoZeschke, Yorick. "Growth Functions, Rates and Classes of String-Based Multiway Systems". Complex Systems 31, n.º 1 (15 de marzo de 2022): 123–64. http://dx.doi.org/10.25088/complexsystems.31.1.123.
Texto completoLeivant, Daniel y Bob Constable. "Editorial". Journal of Functional Programming 11, n.º 1 (enero de 2001): 1. http://dx.doi.org/10.1017/s0956796801009030.
Texto completoGuzhov, Vladimir I., Ilya O. Marchenko, Ekaterina E. Trubilina y Dmitry S. Khaidukov. "Comparison of numbers and analysis of overflow in modular arithmetic". Analysis and data processing systems, n.º 3 (30 de septiembre de 2021): 75–86. http://dx.doi.org/10.17212/2782-2001-2021-3-75-86.
Texto completoZadiraka, Valerii y Inna Shvidchenko. "Using Rounding Errors in Modern Computer Technologies". Cybernetics and Computer Technologies, n.º 3 (30 de septiembre de 2021): 43–52. http://dx.doi.org/10.34229/2707-451x.21.3.4.
Texto completoCapítulos de libros sobre el tema "Arithmetic Complexity Classes"
Chen, Hubie. "Arithmetic Constant-Depth Circuit Complexity Classes". En Mathematical Foundations of Computer Science 2003, 328–37. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45138-9_27.
Texto completoClote, Peter y Gaisi Takeuti. "First Order Bounded Arithmetic and Small Boolean Circuit Complexity Classes". En Feasible Mathematics II, 154–218. Boston, MA: Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4612-2566-9_6.
Texto completoHofmann, Martin. "From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour". En Lecture Notes in Computer Science, 2–3. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45413-6_2.
Texto completoActas de conferencias sobre el tema "Arithmetic Complexity Classes"
Hasan, M. A. y C. Negre. "Subquadratic Space Complexity Multiplier for a Class of Binary Fields Using Toeplitz Matrix Approach". En 2009 IEEE 19th IEEE Symposium on Computer Arithmetic (ARITH). IEEE, 2009. http://dx.doi.org/10.1109/arith.2009.15.
Texto completo