Добірка наукової літератури з теми "Arithmetic Complexity Classes"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Arithmetic Complexity Classes".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Arithmetic Complexity Classes"
G�l, Anna, and Avi Wigderson. "Boolean complexity classes vs. their arithmetic analogs." Random Structures and Algorithms 9, no. 1-2 (August 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.
Повний текст джерелаIgnjatović, Aleksandar. "Delineating classes of computational complexity via second order theories with weak set existence principles. I." Journal of Symbolic Logic 60, no. 1 (March 1995): 103–21. http://dx.doi.org/10.2307/2275511.
Повний текст джерелаJeřábek, Emil. "Approximate counting in bounded arithmetic." Journal of Symbolic Logic 72, no. 3 (September 2007): 959–93. http://dx.doi.org/10.2178/jsl/1191333850.
Повний текст джерелаJaparidze, Giorgi. "Arithmetics based on computability logic." Logical Investigations 25, no. 2 (December 23, 2019): 61–74. http://dx.doi.org/10.21146/2074-1472-2019-25-2-61-74.
Повний текст джерелаKupke, Clemens, Dirk Pattinson, and Lutz Schröder. "Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics." ACM Transactions on Computational Logic 23, no. 2 (April 30, 2022): 1–34. http://dx.doi.org/10.1145/3501300.
Повний текст джерелаHarnik, Victor. "Provably total functions of intuitionistic bounded arithmetic." Journal of Symbolic Logic 57, no. 2 (June 1992): 466–77. http://dx.doi.org/10.2307/2275282.
Повний текст джерелаZeschke, Yorick. "Growth Functions, Rates and Classes of String-Based Multiway Systems." Complex Systems 31, no. 1 (March 15, 2022): 123–64. http://dx.doi.org/10.25088/complexsystems.31.1.123.
Повний текст джерелаLeivant, Daniel, and Bob Constable. "Editorial." Journal of Functional Programming 11, no. 1 (January 2001): 1. http://dx.doi.org/10.1017/s0956796801009030.
Повний текст джерелаGuzhov, Vladimir I., Ilya O. Marchenko, Ekaterina E. Trubilina, and Dmitry S. Khaidukov. "Comparison of numbers and analysis of overflow in modular arithmetic." Analysis and data processing systems, no. 3 (September 30, 2021): 75–86. http://dx.doi.org/10.17212/2782-2001-2021-3-75-86.
Повний текст джерелаZadiraka, Valerii, and Inna Shvidchenko. "Using Rounding Errors in Modern Computer Technologies." Cybernetics and Computer Technologies, no. 3 (September 30, 2021): 43–52. http://dx.doi.org/10.34229/2707-451x.21.3.4.
Повний текст джерелаЧастини книг з теми "Arithmetic Complexity Classes"
Chen, Hubie. "Arithmetic Constant-Depth Circuit Complexity Classes." In 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.
Повний текст джерелаClote, Peter, and Gaisi Takeuti. "First Order Bounded Arithmetic and Small Boolean Circuit Complexity Classes." In Feasible Mathematics II, 154–218. Boston, MA: Birkhäuser Boston, 1995. http://dx.doi.org/10.1007/978-1-4612-2566-9_6.
Повний текст джерелаHofmann, Martin. "From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour." In Lecture Notes in Computer Science, 2–3. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45413-6_2.
Повний текст джерелаТези доповідей конференцій з теми "Arithmetic Complexity Classes"
Hasan, M. A., and C. Negre. "Subquadratic Space Complexity Multiplier for a Class of Binary Fields Using Toeplitz Matrix Approach." In 2009 IEEE 19th IEEE Symposium on Computer Arithmetic (ARITH). IEEE, 2009. http://dx.doi.org/10.1109/arith.2009.15.
Повний текст джерела