Статті в журналах з теми "Finite model theory"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-50 статей у журналах для дослідження на тему "Finite model theory".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
Chatzidakis, Zoé. "Model theory of finite fields and pseudo-finite fields." Annals of Pure and Applied Logic 88, no. 2-3 (November 1997): 95–108. http://dx.doi.org/10.1016/s0168-0072(97)00017-1.
Повний текст джерелаLotfallah, Wafik Boulos. "Strong convergence in finite model theory." Journal of Symbolic Logic 67, no. 3 (September 2002): 1083–92. http://dx.doi.org/10.2178/jsl/1190150151.
Повний текст джерелаFagin, Ronald. "Finite-model theory - a personal perspective." Theoretical Computer Science 116, no. 1 (August 1993): 3–31. http://dx.doi.org/10.1016/0304-3975(93)90218-i.
Повний текст джерелаDjordjević, Marko. "Finite variable logic, stability and finite models." Journal of Symbolic Logic 66, no. 2 (June 2001): 837–58. http://dx.doi.org/10.2307/2695048.
Повний текст джерелаDawar, Anuj. "FINITE MODEL THEORY (Perspectives in Mathematical Logic)." Bulletin of the London Mathematical Society 29, no. 4 (July 1997): 504–5. http://dx.doi.org/10.1112/s0024609396222416.
Повний текст джерелаMacpherson, Dugald. "Model theory of finite and pseudofinite groups." Archive for Mathematical Logic 57, no. 1-2 (September 19, 2017): 159–84. http://dx.doi.org/10.1007/s00153-017-0584-1.
Повний текст джерелаAlfaro, Jorge, Pablo González, and Ricardo Avila. "A finite quantum gravity field theory model." Classical and Quantum Gravity 28, no. 21 (October 12, 2011): 215020. http://dx.doi.org/10.1088/0264-9381/28/21/215020.
Повний текст джерелаEberl, Matthias. "A Model Theory for the Potential Infinite." Reports on Mathematical Logic 57 (November 28, 2022): 3–30. http://dx.doi.org/10.4467/20842589rm.22.001.16658.
Повний текст джерелаRosen, Eric. "Some Aspects of Model Theory and Finite Structures." Bulletin of Symbolic Logic 8, no. 3 (September 2002): 380–403. http://dx.doi.org/10.2178/bsl/1182353894.
Повний текст джерелаLotfallah, Wafik Boulos. "Strong 0-1 laws in finite model theory." Journal of Symbolic Logic 65, no. 4 (December 2000): 1686–704. http://dx.doi.org/10.2307/2695069.
Повний текст джерелаBaldwin, J. "Finite and infinite model theory - a historical perspective." Logic Journal of IGPL 8, no. 5 (September 1, 2000): 605–28. http://dx.doi.org/10.1093/jigpal/8.5.605.
Повний текст джерелаFuchs, Peter. "On pseudo-finite near-fields which have finite dimension over the centre." Proceedings of the Edinburgh Mathematical Society 32, no. 3 (October 1989): 371–75. http://dx.doi.org/10.1017/s0013091500004636.
Повний текст джерелаHella, Lauri, Phokion G. Kolaitis, and Kerkko Luosto. "Almost Everywhere Equivalence of Logics in Finite Model Theory." Bulletin of Symbolic Logic 2, no. 4 (December 1996): 422–43. http://dx.doi.org/10.2307/421173.
Повний текст джерелаHausmann, Markus. "Symmetric spectra model global homotopy theory of finite groups." Algebraic & Geometric Topology 19, no. 3 (May 21, 2019): 1413–52. http://dx.doi.org/10.2140/agt.2019.19.1413.
Повний текст джерелаPapadopoulos, Loukas, and Ephrahim Garcia. "Probabilistic Finite Element Model Updating Using Random Variable Theory." AIAA Journal 39, no. 1 (January 2001): 193–95. http://dx.doi.org/10.2514/2.1292.
Повний текст джерелаBroersen, P. M., and H. E. Wensink. "On Finite Sample Theory for Autoregressive Model Order Selection." IEEE Transactions on Signal Processing 41, no. 1 (January 1993): 194. http://dx.doi.org/10.1109/tsp.1993.193138.
Повний текст джерелаBologyubov, N. N., and V. N. Plechko. "Perturbation theory in the polaron model at finite temperature." Theoretical and Mathematical Physics 65, no. 3 (December 1985): 1255–63. http://dx.doi.org/10.1007/bf01036135.
Повний текст джерелаPruschke, Th. "Perturbation theory of the Anderson model at finite U." Physica B: Condensed Matter 163, no. 1-3 (April 1990): 553–56. http://dx.doi.org/10.1016/0921-4526(90)90267-x.
Повний текст джерелаPapadopoulos, Loukas, and Ephrahim Garcia. "Probabilistic finite element model updating using random variable theory." AIAA Journal 39 (January 2001): 193–95. http://dx.doi.org/10.2514/3.14717.
Повний текст джерелаCompton, Kevin J. "Application of a Tauberian theorem to finite model theory." Archiv für Mathematische Logik und Grundlagenforschung 25, no. 1 (December 1985): 91–98. http://dx.doi.org/10.1007/bf02007559.
Повний текст джерелаTsay Tzeng, S. Y., P. J. Ellis, T. T. S. Kuo, and E. Osnes. "Finite-temperature many-body theory with the Lipkin model." Nuclear Physics A 580, no. 2 (November 1994): 277–90. http://dx.doi.org/10.1016/0375-9474(94)90774-9.
Повний текст джерелаGrohe, Martin. "Finite Variable Logics in Descriptive Complexity Theory." Bulletin of Symbolic Logic 4, no. 4 (December 1998): 345–98. http://dx.doi.org/10.2307/420954.
Повний текст джерелаLópez-Picón, José Luis, Octavio Obregón, and José Ríos-Padilla. "A Proposal to Solve Finite N Matrix Theory: Reduced Model Related to Quantum Cosmology." Universe 8, no. 8 (August 11, 2022): 418. http://dx.doi.org/10.3390/universe8080418.
Повний текст джерелаBhattacharyya, Arun K. "An Accurate Model for Finite Array Patterns Based on Floquet Modal Theory." IEEE Transactions on Antennas and Propagation 63, no. 3 (March 2015): 1040–47. http://dx.doi.org/10.1109/tap.2015.2389249.
Повний текст джерелаAMENDOLA, GIOVANNI, NICOLA LEONE, and MARCO MANNA. "Finite model reasoning over existential rules." Theory and Practice of Logic Programming 17, no. 5-6 (August 24, 2017): 726–43. http://dx.doi.org/10.1017/s1471068417000369.
Повний текст джерелаSUZUKI, JUNJI, TARO NAGAO, and MIKI WADATI. "EXACTLY SOLVABLE MODELS AND FINITE SIZE CORRECTIONS." International Journal of Modern Physics B 06, no. 08 (April 20, 1992): 1119–80. http://dx.doi.org/10.1142/s021797929200058x.
Повний текст джерелаBozdog, D., and W. W. Olson. "An Advanced Shell Theory Based Tire Model." Tire Science and Technology 33, no. 4 (October 1, 2005): 227–38. http://dx.doi.org/10.2346/1.2174345.
Повний текст джерелаMignemi, S. "The Snyder Model and Quantum Field Theory." Ukrainian Journal of Physics 64, no. 11 (November 25, 2019): 991. http://dx.doi.org/10.15407/ujpe64.11.991.
Повний текст джерелаSong, Yooseob, and George Z. Voyiadjis. "Strain gradient finite element model for finite deformation theory: size effects and shear bands." Computational Mechanics 65, no. 5 (January 31, 2020): 1219–46. http://dx.doi.org/10.1007/s00466-020-01816-2.
Повний текст джерелаSchröder, Lutz. "A finite model construction for coalgebraic modal logic." Journal of Logic and Algebraic Programming 73, no. 1-2 (September 2007): 97–110. http://dx.doi.org/10.1016/j.jlap.2006.11.004.
Повний текст джерелаKrynicki, Michał, and Konrad Zdanowski. "Theories of arithmetics in finite models." Journal of Symbolic Logic 70, no. 1 (March 2005): 1–28. http://dx.doi.org/10.2178/jsl/1107298508.
Повний текст джерелаMoosa, Rahim, and Thomas Scanlon. "Model theory of fields with free operators in characteristic zero." Journal of Mathematical Logic 14, no. 02 (December 2014): 1450009. http://dx.doi.org/10.1142/s0219061314500093.
Повний текст джерелаADLER, MARK, PIERRE VAN MOERBEKE, and DONG WANG. "RANDOM MATRIX MINOR PROCESSES RELATED TO PERCOLATION THEORY." Random Matrices: Theory and Applications 02, no. 04 (October 2013): 1350008. http://dx.doi.org/10.1142/s2010326313500081.
Повний текст джерелаWu, Heng Bin, and Ze Ping He. "The Finite Element Model of Discontinuous Rock Masses." Advanced Materials Research 243-249 (May 2011): 2948–51. http://dx.doi.org/10.4028/www.scientific.net/amr.243-249.2948.
Повний текст джерелаDixit, Narendra M., Piyush Srivastava, and Nisheeth K. Vishnoi. "A Finite Population Model of Molecular Evolution: Theory and Computation." Journal of Computational Biology 19, no. 10 (October 2012): 1176–202. http://dx.doi.org/10.1089/cmb.2012.0064.
Повний текст джерелаTrumper, Adolfo E., Luca Capriotti, and Sandro Sorella. "Finite-size spin-wave theory of the triangular Heisenberg model." Physical Review B 61, no. 17 (May 1, 2000): 11529–32. http://dx.doi.org/10.1103/physrevb.61.11529.
Повний текст джерелаHASHIGUCHI, Koichi. "Exact multiplicative finite strain theory based on subloading surface model." Proceedings of the Materials and Mechanics Conference 2016 (2016): GS—26. http://dx.doi.org/10.1299/jsmemm.2016.gs-26.
Повний текст джерелаS. P. Singh, R. P. Rudra, and W. T. Dickinson. "A Potential Theory-based Finite Element Model for Transient Recharge." Transactions of the ASAE 39, no. 5 (1996): 1879–89. http://dx.doi.org/10.13031/2013.27666.
Повний текст джерелаVoyiadjis, George Z., and Louay N. Mohammad. "Theory vs. experiment for finite strain viscoplastic, lagrangian constitutive model." International Journal of Plasticity 7, no. 4 (January 1991): 329–50. http://dx.doi.org/10.1016/0749-6419(91)90039-2.
Повний текст джерелаHayashi, Masahito. "Asymptotic estimation theory for a finite-dimensional pure state model." Journal of Physics A: Mathematical and General 31, no. 20 (May 22, 1998): 4633–55. http://dx.doi.org/10.1088/0305-4470/31/20/006.
Повний текст джерелаHayashi, M. "Asymptotic estimation theory for a finite-dimensional pure state model." Journal of Physics A: Mathematical and General 31, no. 41 (October 16, 1998): 8405. http://dx.doi.org/10.1088/0305-4470/31/41/015.
Повний текст джерелаYUROV, V. P., and AL B. ZAMOLODCHIKOV. "TRUNCATED COMFORMAL SPACE APPROACH TO SCALING LEE-YANG MODEL." International Journal of Modern Physics A 05, no. 16 (August 20, 1990): 3221–45. http://dx.doi.org/10.1142/s0217751x9000218x.
Повний текст джерелаVAN EIJCK, M. A., та CH G. VAN WEERT. "FINITE-TEMPERATURE RENORMALIZATION OF THE (ϕ4)4–MODEL". International Journal of Modern Physics B 10, № 13n14 (30 червня 1996): 1485–97. http://dx.doi.org/10.1142/s0217979296000593.
Повний текст джерелаMundici, Daniele. "Inverse topological systems and compactness in abstract model theory." Journal of Symbolic Logic 51, no. 3 (September 1986): 785–94. http://dx.doi.org/10.2307/2274032.
Повний текст джерелаBarbina, Silvia, and Enrique Casanovas. "Model theory of Steiner triple systems." Journal of Mathematical Logic 20, no. 02 (December 31, 2019): 2050010. http://dx.doi.org/10.1142/s0219061320500105.
Повний текст джерелаMagnitsky, I. V., F. R. Odinabekov, and E. S. Sergeeva. "The Development of Multi-Directional Spatially Reinforced Material Structural Theory." Solid State Phenomena 284 (October 2018): 146–51. http://dx.doi.org/10.4028/www.scientific.net/ssp.284.146.
Повний текст джерелаTIERZ, MIGUEL. "CHERN–SIMONS THEORY, EXACTLY SOLVABLE MODELS AND FREE FERMIONS AT FINITE TEMPERATURE." Modern Physics Letters A 24, no. 39 (December 21, 2009): 3157–71. http://dx.doi.org/10.1142/s0217732309032071.
Повний текст джерелаLiu, Yang, Zhong Dong Duan, and Hui Li. "Updating of Finite Element Model in Considering Mode Errors with Fuzzy Theory." Key Engineering Materials 413-414 (June 2009): 785–92. http://dx.doi.org/10.4028/www.scientific.net/kem.413-414.785.
Повний текст джерелаSemukhin, Pavel. "Prime models of finite computable dimension." Journal of Symbolic Logic 74, no. 1 (March 2009): 336–48. http://dx.doi.org/10.2178/jsl/1231082315.
Повний текст джерелаHodkinson, Ian, and Martin Otto. "Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures." Bulletin of Symbolic Logic 9, no. 3 (September 2003): 387–405. http://dx.doi.org/10.2178/bsl/1058448678.
Повний текст джерела