Добірка наукової літератури з теми "Quantifier arity"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Зміст
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Quantifier arity".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Quantifier arity"
Joomwong, Jintana, and Dara Phusanga. "Deterministic and non-deterministic hypersubstitutions for algebraic systems." Asian-European Journal of Mathematics 09, no. 02 (April 15, 2016): 1650047. http://dx.doi.org/10.1142/s1793557116500479.
Повний текст джерелаPikhurko, Oleg, and Oleg Verbitsky. "Descriptive complexity of finite structures: Saving the quantifier rank." Journal of Symbolic Logic 70, no. 2 (June 2005): 419–50. http://dx.doi.org/10.2178/jsl/1120224721.
Повний текст джерелаGrädel, Erich. "On the Restraining Power of Guards." Journal of Symbolic Logic 64, no. 4 (December 1999): 1719–42. http://dx.doi.org/10.2307/2586808.
Повний текст джерелаImmerman, Neil, Jonathan F. Buss, and David A. Mix Barrington. "Number of variables is equivalent to space." Journal of Symbolic Logic 66, no. 3 (September 2001): 1217–30. http://dx.doi.org/10.2307/2695103.
Повний текст джерелаZach, Richard. "Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω". Journal of Philosophical Logic 33, № 2 (квітень 2004): 155–64. http://dx.doi.org/10.1023/b:logi.0000021744.10237.d0.
Повний текст джерелаLINDELL, STEVEN. "A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES." International Journal of Foundations of Computer Science 19, no. 01 (February 2008): 205–17. http://dx.doi.org/10.1142/s0129054108005632.
Повний текст джерелаAreces, Carlos, Miguel Campercholi, Daniel Penazzi, and Pablo Ventura. "The complexity of definability by open first-order formulas." Logic Journal of the IGPL, May 30, 2020. http://dx.doi.org/10.1093/jigpal/jzaa008.
Повний текст джерелаNikitchenko, Mykola, and Valentyn Tymofieiev. "Satisfiability in composition-nominative logics." Open Computer Science 2, no. 3 (January 1, 2012). http://dx.doi.org/10.2478/s13537-012-0027-3.
Повний текст джерела