Artículos de revistas sobre el tema "Finite model theory"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Finite model theory".
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.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Chatzidakis, Zoé. "Model theory of finite fields and pseudo-finite fields". Annals of Pure and Applied Logic 88, n.º 2-3 (noviembre de 1997): 95–108. http://dx.doi.org/10.1016/s0168-0072(97)00017-1.
Texto completoLotfallah, Wafik Boulos. "Strong convergence in finite model theory". Journal of Symbolic Logic 67, n.º 3 (septiembre de 2002): 1083–92. http://dx.doi.org/10.2178/jsl/1190150151.
Texto completoFagin, Ronald. "Finite-model theory - a personal perspective". Theoretical Computer Science 116, n.º 1 (agosto de 1993): 3–31. http://dx.doi.org/10.1016/0304-3975(93)90218-i.
Texto completoDjordjević, Marko. "Finite variable logic, stability and finite models". Journal of Symbolic Logic 66, n.º 2 (junio de 2001): 837–58. http://dx.doi.org/10.2307/2695048.
Texto completoDawar, Anuj. "FINITE MODEL THEORY (Perspectives in Mathematical Logic)". Bulletin of the London Mathematical Society 29, n.º 4 (julio de 1997): 504–5. http://dx.doi.org/10.1112/s0024609396222416.
Texto completoMacpherson, Dugald. "Model theory of finite and pseudofinite groups". Archive for Mathematical Logic 57, n.º 1-2 (19 de septiembre de 2017): 159–84. http://dx.doi.org/10.1007/s00153-017-0584-1.
Texto completoAlfaro, Jorge, Pablo González y Ricardo Avila. "A finite quantum gravity field theory model". Classical and Quantum Gravity 28, n.º 21 (12 de octubre de 2011): 215020. http://dx.doi.org/10.1088/0264-9381/28/21/215020.
Texto completoEberl, Matthias. "A Model Theory for the Potential Infinite". Reports on Mathematical Logic 57 (28 de noviembre de 2022): 3–30. http://dx.doi.org/10.4467/20842589rm.22.001.16658.
Texto completoRosen, Eric. "Some Aspects of Model Theory and Finite Structures". Bulletin of Symbolic Logic 8, n.º 3 (septiembre de 2002): 380–403. http://dx.doi.org/10.2178/bsl/1182353894.
Texto completoLotfallah, Wafik Boulos. "Strong 0-1 laws in finite model theory". Journal of Symbolic Logic 65, n.º 4 (diciembre de 2000): 1686–704. http://dx.doi.org/10.2307/2695069.
Texto completoBaldwin, J. "Finite and infinite model theory - a historical perspective". Logic Journal of IGPL 8, n.º 5 (1 de septiembre de 2000): 605–28. http://dx.doi.org/10.1093/jigpal/8.5.605.
Texto completoFuchs, Peter. "On pseudo-finite near-fields which have finite dimension over the centre". Proceedings of the Edinburgh Mathematical Society 32, n.º 3 (octubre de 1989): 371–75. http://dx.doi.org/10.1017/s0013091500004636.
Texto completoHella, Lauri, Phokion G. Kolaitis y Kerkko Luosto. "Almost Everywhere Equivalence of Logics in Finite Model Theory". Bulletin of Symbolic Logic 2, n.º 4 (diciembre de 1996): 422–43. http://dx.doi.org/10.2307/421173.
Texto completoHausmann, Markus. "Symmetric spectra model global homotopy theory of finite groups". Algebraic & Geometric Topology 19, n.º 3 (21 de mayo de 2019): 1413–52. http://dx.doi.org/10.2140/agt.2019.19.1413.
Texto completoPapadopoulos, Loukas y Ephrahim Garcia. "Probabilistic Finite Element Model Updating Using Random Variable Theory". AIAA Journal 39, n.º 1 (enero de 2001): 193–95. http://dx.doi.org/10.2514/2.1292.
Texto completoBroersen, P. M. y H. E. Wensink. "On Finite Sample Theory for Autoregressive Model Order Selection". IEEE Transactions on Signal Processing 41, n.º 1 (enero de 1993): 194. http://dx.doi.org/10.1109/tsp.1993.193138.
Texto completoBologyubov, N. N. y V. N. Plechko. "Perturbation theory in the polaron model at finite temperature". Theoretical and Mathematical Physics 65, n.º 3 (diciembre de 1985): 1255–63. http://dx.doi.org/10.1007/bf01036135.
Texto completoPruschke, Th. "Perturbation theory of the Anderson model at finite U". Physica B: Condensed Matter 163, n.º 1-3 (abril de 1990): 553–56. http://dx.doi.org/10.1016/0921-4526(90)90267-x.
Texto completoPapadopoulos, Loukas y Ephrahim Garcia. "Probabilistic finite element model updating using random variable theory". AIAA Journal 39 (enero de 2001): 193–95. http://dx.doi.org/10.2514/3.14717.
Texto completoCompton, Kevin J. "Application of a Tauberian theorem to finite model theory". Archiv für Mathematische Logik und Grundlagenforschung 25, n.º 1 (diciembre de 1985): 91–98. http://dx.doi.org/10.1007/bf02007559.
Texto completoTsay Tzeng, S. Y., P. J. Ellis, T. T. S. Kuo y E. Osnes. "Finite-temperature many-body theory with the Lipkin model". Nuclear Physics A 580, n.º 2 (noviembre de 1994): 277–90. http://dx.doi.org/10.1016/0375-9474(94)90774-9.
Texto completoGrohe, Martin. "Finite Variable Logics in Descriptive Complexity Theory". Bulletin of Symbolic Logic 4, n.º 4 (diciembre de 1998): 345–98. http://dx.doi.org/10.2307/420954.
Texto completoLópez-Picón, José Luis, Octavio Obregón y José Ríos-Padilla. "A Proposal to Solve Finite N Matrix Theory: Reduced Model Related to Quantum Cosmology". Universe 8, n.º 8 (11 de agosto de 2022): 418. http://dx.doi.org/10.3390/universe8080418.
Texto completoBhattacharyya, Arun K. "An Accurate Model for Finite Array Patterns Based on Floquet Modal Theory". IEEE Transactions on Antennas and Propagation 63, n.º 3 (marzo de 2015): 1040–47. http://dx.doi.org/10.1109/tap.2015.2389249.
Texto completoAMENDOLA, GIOVANNI, NICOLA LEONE y MARCO MANNA. "Finite model reasoning over existential rules". Theory and Practice of Logic Programming 17, n.º 5-6 (24 de agosto de 2017): 726–43. http://dx.doi.org/10.1017/s1471068417000369.
Texto completoSUZUKI, JUNJI, TARO NAGAO y MIKI WADATI. "EXACTLY SOLVABLE MODELS AND FINITE SIZE CORRECTIONS". International Journal of Modern Physics B 06, n.º 08 (20 de abril de 1992): 1119–80. http://dx.doi.org/10.1142/s021797929200058x.
Texto completoBozdog, D. y W. W. Olson. "An Advanced Shell Theory Based Tire Model". Tire Science and Technology 33, n.º 4 (1 de octubre de 2005): 227–38. http://dx.doi.org/10.2346/1.2174345.
Texto completoMignemi, S. "The Snyder Model and Quantum Field Theory". Ukrainian Journal of Physics 64, n.º 11 (25 de noviembre de 2019): 991. http://dx.doi.org/10.15407/ujpe64.11.991.
Texto completoSong, Yooseob y George Z. Voyiadjis. "Strain gradient finite element model for finite deformation theory: size effects and shear bands". Computational Mechanics 65, n.º 5 (31 de enero de 2020): 1219–46. http://dx.doi.org/10.1007/s00466-020-01816-2.
Texto completoSchröder, Lutz. "A finite model construction for coalgebraic modal logic". Journal of Logic and Algebraic Programming 73, n.º 1-2 (septiembre de 2007): 97–110. http://dx.doi.org/10.1016/j.jlap.2006.11.004.
Texto completoKrynicki, Michał y Konrad Zdanowski. "Theories of arithmetics in finite models". Journal of Symbolic Logic 70, n.º 1 (marzo de 2005): 1–28. http://dx.doi.org/10.2178/jsl/1107298508.
Texto completoMoosa, Rahim y Thomas Scanlon. "Model theory of fields with free operators in characteristic zero". Journal of Mathematical Logic 14, n.º 02 (diciembre de 2014): 1450009. http://dx.doi.org/10.1142/s0219061314500093.
Texto completoADLER, MARK, PIERRE VAN MOERBEKE y DONG WANG. "RANDOM MATRIX MINOR PROCESSES RELATED TO PERCOLATION THEORY". Random Matrices: Theory and Applications 02, n.º 04 (octubre de 2013): 1350008. http://dx.doi.org/10.1142/s2010326313500081.
Texto completoWu, Heng Bin y Ze Ping He. "The Finite Element Model of Discontinuous Rock Masses". Advanced Materials Research 243-249 (mayo de 2011): 2948–51. http://dx.doi.org/10.4028/www.scientific.net/amr.243-249.2948.
Texto completoDixit, Narendra M., Piyush Srivastava y Nisheeth K. Vishnoi. "A Finite Population Model of Molecular Evolution: Theory and Computation". Journal of Computational Biology 19, n.º 10 (octubre de 2012): 1176–202. http://dx.doi.org/10.1089/cmb.2012.0064.
Texto completoTrumper, Adolfo E., Luca Capriotti y Sandro Sorella. "Finite-size spin-wave theory of the triangular Heisenberg model". Physical Review B 61, n.º 17 (1 de mayo de 2000): 11529–32. http://dx.doi.org/10.1103/physrevb.61.11529.
Texto completoHASHIGUCHI, 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.
Texto completoS. P. Singh, R. P. Rudra y W. T. Dickinson. "A Potential Theory-based Finite Element Model for Transient Recharge". Transactions of the ASAE 39, n.º 5 (1996): 1879–89. http://dx.doi.org/10.13031/2013.27666.
Texto completoVoyiadjis, George Z. y Louay N. Mohammad. "Theory vs. experiment for finite strain viscoplastic, lagrangian constitutive model". International Journal of Plasticity 7, n.º 4 (enero de 1991): 329–50. http://dx.doi.org/10.1016/0749-6419(91)90039-2.
Texto completoHayashi, Masahito. "Asymptotic estimation theory for a finite-dimensional pure state model". Journal of Physics A: Mathematical and General 31, n.º 20 (22 de mayo de 1998): 4633–55. http://dx.doi.org/10.1088/0305-4470/31/20/006.
Texto completoHayashi, M. "Asymptotic estimation theory for a finite-dimensional pure state model". Journal of Physics A: Mathematical and General 31, n.º 41 (16 de octubre de 1998): 8405. http://dx.doi.org/10.1088/0305-4470/31/41/015.
Texto completoYUROV, V. P. y AL B. ZAMOLODCHIKOV. "TRUNCATED COMFORMAL SPACE APPROACH TO SCALING LEE-YANG MODEL". International Journal of Modern Physics A 05, n.º 16 (20 de agosto de 1990): 3221–45. http://dx.doi.org/10.1142/s0217751x9000218x.
Texto completoVAN EIJCK, M. A. y CH G. VAN WEERT. "FINITE-TEMPERATURE RENORMALIZATION OF THE (ϕ4)4–MODEL". International Journal of Modern Physics B 10, n.º 13n14 (30 de junio de 1996): 1485–97. http://dx.doi.org/10.1142/s0217979296000593.
Texto completoMundici, Daniele. "Inverse topological systems and compactness in abstract model theory". Journal of Symbolic Logic 51, n.º 3 (septiembre de 1986): 785–94. http://dx.doi.org/10.2307/2274032.
Texto completoBarbina, Silvia y Enrique Casanovas. "Model theory of Steiner triple systems". Journal of Mathematical Logic 20, n.º 02 (31 de diciembre de 2019): 2050010. http://dx.doi.org/10.1142/s0219061320500105.
Texto completoMagnitsky, I. V., F. R. Odinabekov y E. S. Sergeeva. "The Development of Multi-Directional Spatially Reinforced Material Structural Theory". Solid State Phenomena 284 (octubre de 2018): 146–51. http://dx.doi.org/10.4028/www.scientific.net/ssp.284.146.
Texto completoTIERZ, MIGUEL. "CHERN–SIMONS THEORY, EXACTLY SOLVABLE MODELS AND FREE FERMIONS AT FINITE TEMPERATURE". Modern Physics Letters A 24, n.º 39 (21 de diciembre de 2009): 3157–71. http://dx.doi.org/10.1142/s0217732309032071.
Texto completoLiu, Yang, Zhong Dong Duan y Hui Li. "Updating of Finite Element Model in Considering Mode Errors with Fuzzy Theory". Key Engineering Materials 413-414 (junio de 2009): 785–92. http://dx.doi.org/10.4028/www.scientific.net/kem.413-414.785.
Texto completoSemukhin, Pavel. "Prime models of finite computable dimension". Journal of Symbolic Logic 74, n.º 1 (marzo de 2009): 336–48. http://dx.doi.org/10.2178/jsl/1231082315.
Texto completoHodkinson, Ian y Martin Otto. "Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures". Bulletin of Symbolic Logic 9, n.º 3 (septiembre de 2003): 387–405. http://dx.doi.org/10.2178/bsl/1058448678.
Texto completo