Articles de revues sur le sujet « Partial Completeness »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Partial Completeness ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Mecheraoui, Rachid, Aiman Mukheimer et Stojan Radenović. « From G-Completeness to M-Completeness ». Symmetry 11, no 7 (27 juin 2019) : 839. http://dx.doi.org/10.3390/sym11070839.
Texte intégralHaddad, Lucien, et I. G. Rosenberg. « Completeness theory for finite partial algebras ». Algebra Universalis 29, no 3 (septembre 1992) : 378–401. http://dx.doi.org/10.1007/bf01212439.
Texte intégralRomov, B. A. « The completeness problem in partial hyperclones ». Discrete Mathematics 306, no 13 (juillet 2006) : 1405–14. http://dx.doi.org/10.1016/j.disc.2005.11.033.
Texte intégralFreitag, James. « Completeness in partial differential algebraic geometry ». Journal of Algebra 420 (décembre 2014) : 350–72. http://dx.doi.org/10.1016/j.jalgebra.2014.07.025.
Texte intégralISOBE, Shuji, et Eisuke KOIZUMI. « Autoreducibility and Completeness for Partial Multivalued Functions ». IEICE Transactions on Information and Systems E100.D, no 3 (2017) : 422–27. http://dx.doi.org/10.1587/transinf.2016fcp0006.
Texte intégralMykhaylyuk, Volodymyr, et Vadym Myronyk. « Compactness and completeness in partial metric spaces ». Topology and its Applications 270 (février 2020) : 106925. http://dx.doi.org/10.1016/j.topol.2019.106925.
Texte intégralPaesano, Daniela, et Pasquale Vetro. « Fixed points and completeness on partial metric spaces ». Miskolc Mathematical Notes 16, no 1 (2015) : 369. http://dx.doi.org/10.18514/mmn.2015.710.
Texte intégralHitchcock, John M., A. Pavan et N. V. Vinodchandran. « Partial Bi-immunity, Scaled Dimension, and NP-Completeness ». Theory of Computing Systems 42, no 2 (4 juillet 2007) : 131–42. http://dx.doi.org/10.1007/s00224-007-9000-2.
Texte intégralHeering, Jan. « Partial evaluation and ω-completeness of algebraic specifications ». Theoretical Computer Science 43 (1986) : 149–67. http://dx.doi.org/10.1016/0304-3975(86)90173-8.
Texte intégralBurdick, Bruce S. « On the use of partial orders in uniform spaces ». Applied General Topology 4, no 1 (1 avril 2003) : 99. http://dx.doi.org/10.4995/agt.2003.2013.
Texte intégralRomov, B. A. « Completeness theory for the product of finite partial algebras ». Discrete Mathematics 274, no 1-3 (janvier 2004) : 241–64. http://dx.doi.org/10.1016/s0012-365x(03)00091-8.
Texte intégralLarchey-Wendling, Dominique. « The formal strong completeness of partial monoidal Boolean BI ». Journal of Logic and Computation 26, no 2 (2 juin 2014) : 605–40. http://dx.doi.org/10.1093/logcom/exu031.
Texte intégralCarlson, Timothy J. « Ranked partial structures ». Journal of Symbolic Logic 68, no 4 (décembre 2003) : 1109–44. http://dx.doi.org/10.2178/jsl/1067620176.
Texte intégralPaesano, Daniela, et Pasquale Vetro. « Common Fixed Points in a Partially Ordered Partial Metric Space ». International Journal of Analysis 2013 (13 janvier 2013) : 1–8. http://dx.doi.org/10.1155/2013/428561.
Texte intégralGrinshpoun, T., et A. Meisels. « Completeness and Performance Of The APO Algorithm ». Journal of Artificial Intelligence Research 33 (23 octobre 2008) : 223–58. http://dx.doi.org/10.1613/jair.2611.
Texte intégralLiu, Yu Zhen, Xing Bao Liu et Xin Fen Zhang. « Decision on Function of One Simple Separable Relation for the Minimal Covering of P*K ». Applied Mechanics and Materials 496-500 (janvier 2014) : 2303–5. http://dx.doi.org/10.4028/www.scientific.net/amm.496-500.2303.
Texte intégralMontagna, Franco, et Andrea Sorbi. « Creativeness and completeness in recursion categories of partial recursive operators ». Journal of Symbolic Logic 54, no 3 (septembre 1989) : 1023–41. http://dx.doi.org/10.2307/2274763.
Texte intégralLe Guiban, Kaourintin, Arpad Rimmel, Marc-Antoine Weisser et Joanna Tomasik. « Completion of partial Latin Hypercube Designs : NP-completeness and inapproximability ». Theoretical Computer Science 715 (mars 2018) : 1–20. http://dx.doi.org/10.1016/j.tcs.2018.01.014.
Texte intégralRomaguera, Salvador. « A Kirk Type Characterization of Completeness for Partial Metric Spaces ». Fixed Point Theory and Applications 2010 (2010) : 1–7. http://dx.doi.org/10.1155/2010/493298.
Texte intégralGolunkov, Yu V. « Approximate completeness in algebras of partial recursive functions and predicates ». Cybernetics 23, no 6 (1988) : 752–57. http://dx.doi.org/10.1007/bf01070236.
Texte intégralRashid, Tawseef, Mohammed M. M. Jaradat, Qamrul Haq Khan, Zoran D. Mitrović, Hassen Aydi et Zead Mustafa. « A new approach in the context of ordered incomplete partial b-metric spaces ». Open Mathematics 18, no 1 (19 septembre 2020) : 996–1005. http://dx.doi.org/10.1515/math-2020-0054.
Texte intégralIqbal, Nayyar, et Jun Sang. « Fuzzy Logic Testing Approach for Measuring Software Completeness ». Symmetry 13, no 4 (5 avril 2021) : 604. http://dx.doi.org/10.3390/sym13040604.
Texte intégralKomorowski, Jan. « A Prolegomenon to Partial Deduction ». Fundamenta Informaticae 18, no 1 (1 janvier 1993) : 41–64. http://dx.doi.org/10.3233/fi-1993-18104.
Texte intégralMiñana, Juan-José, et Oscar Valero. « On partial metric preserving functions and their characterization ». Filomat 34, no 7 (2020) : 2315–27. http://dx.doi.org/10.2298/fil2007315m.
Texte intégralAltun, Ishak, et Salvador Romaguera. « Characterizations of partial metric completeness in terms of weakly contractive mappings having fixed point ». Applicable Analysis and Discrete Mathematics 6, no 2 (2012) : 247–56. http://dx.doi.org/10.2298/aadm120322009a.
Texte intégralBIRGET, JEAN-CAMILLE. « CIRCUITS, THE GROUPS OF RICHARD THOMPSON, AND coNP-COMPLETENESS ». International Journal of Algebra and Computation 16, no 01 (février 2006) : 35–90. http://dx.doi.org/10.1142/s0218196706002822.
Texte intégralCampion, Marco, Mila Dalla Preda et Roberto Giacobazzi. « Partial (In)Completeness in abstract interpretation : limiting the imprecision in program analysis ». Proceedings of the ACM on Programming Languages 6, POPL (16 janvier 2022) : 1–31. http://dx.doi.org/10.1145/3498721.
Texte intégralBaisnab, A. P., et Sumana Pal. « On p-h Points and Completeness Property of a Partial Metric Space ». Annals of Pure and Applied Mathematics 16, no 2 (10 février 2018) : 393–400. http://dx.doi.org/10.22457/apam.v16n2a16.
Texte intégralCarter, B. A. « Accuracy and Completeness of Pathology Reporting - Impact on Partial Breast Irradiation Eligibility ». Yearbook of Pathology and Laboratory Medicine 2012 (janvier 2012) : 25–26. http://dx.doi.org/10.1016/j.ypat.2011.11.067.
Texte intégralFerrand, Gérard, et Pierre Deransart. « Proof method of partial correctness and weak completeness for normal logic programs ». Journal of Logic Programming 17, no 2-4 (novembre 1993) : 265–78. http://dx.doi.org/10.1016/0743-1066(93)90033-d.
Texte intégralPignol, J. P., E. Rakovitch, J. Zeppieri et W. Hanna. « Accuracy and Completeness of Pathology Reporting — Impact on Partial Breast Irradiation Eligibility ». Clinical Oncology 24, no 3 (avril 2012) : 177–82. http://dx.doi.org/10.1016/j.clon.2011.09.004.
Texte intégralSoemarsono, Annisa Rahmita, Mahmud Yunus, Erna Apriliani et Adam Adam. « Convergence and Completeness in L_2 (P) with respect to a Partial Metric ». International Journal of Computing Science and Applied Mathematics 9, no 1 (21 février 2023) : 27. http://dx.doi.org/10.12962/j24775401.v9i1.15064.
Texte intégralCHEN, HUIPING, XIA SUN, HUIXUAN CHEN, ZIQIN WU et BINGHONG WANG. « EVALUATION OF SOME CALCULATED PARTIAL MULTIFRACTAL SPECTRA ». International Journal of Modern Physics B 18, no 17n19 (30 juillet 2004) : 2569–74. http://dx.doi.org/10.1142/s0217979204025683.
Texte intégralSarkar, Koushik, et Manoranjan Singha. « Some fixed point theorems in partial \(S_b\)-metric spaces ». Journal of Advanced Studies in Topology 9, no 1 (22 janvier 2018) : 1. http://dx.doi.org/10.20454/jast.2018.1370.
Texte intégralHARRISON-TRAINOR, MATTHEW. « FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS ». Review of Symbolic Logic 12, no 4 (2 septembre 2019) : 637–62. http://dx.doi.org/10.1017/s1755020319000418.
Texte intégralRahayu, Elly. « Pengaruh Lokasi, Kelengkapan Produk, dan Pelayanan Terhadap Keputusan Pembelian Konsumen pada Imam Market Kisaran ». JOURNAL OF SCIENCE AND SOCIAL RESEARCH 1, no 1 (11 janvier 2018) : 7. http://dx.doi.org/10.54314/jssr.v1i1.108.
Texte intégralStrannegård, Claes. « Interpretability over peano arithmetic ». Journal of Symbolic Logic 64, no 4 (décembre 1999) : 1407–25. http://dx.doi.org/10.2307/2586787.
Texte intégralRomov, B. A. « The completeness problem in the algebra of partial functions of finite-valued logic ». Cybernetics 26, no 1 (janvier 1990) : 133–38. http://dx.doi.org/10.1007/bf01068239.
Texte intégralvan Bakel, Steffen. « Completeness and partial soundness results for intersection and union typing for λ¯μμ̃ ». Annals of Pure and Applied Logic 161, no 11 (août 2010) : 1400–1430. http://dx.doi.org/10.1016/j.apal.2010.04.010.
Texte intégralGhilardi, Silvio, et Giancarlo Meloni. « Relational and partial variable sets and basic predicate logic ». Journal of Symbolic Logic 61, no 3 (septembre 1996) : 843–72. http://dx.doi.org/10.2307/2275788.
Texte intégralPenczek, Wojciech. « A Temporal Logic for Event Structures ». Fundamenta Informaticae 11, no 3 (1 juillet 1988) : 297–326. http://dx.doi.org/10.3233/fi-1988-11307.
Texte intégralVerbrugge, Rineke, et Albert Visser. « A small reflection principle for bounded arithmetic ». Journal of Symbolic Logic 59, no 3 (septembre 1994) : 785–812. http://dx.doi.org/10.2307/2275908.
Texte intégralBLAZY, SANDRINE, et PHILIPPE FACON. « PARTIAL EVALUATION FOR THE UNDERSTANDING OF FORTRAN PROGRAMS ». International Journal of Software Engineering and Knowledge Engineering 04, no 04 (décembre 1994) : 535–59. http://dx.doi.org/10.1142/s021819409400026x.
Texte intégralHolá, L'ubica, et László Zsilinszky. « Completeness properties of the generalized compact-open topology on partial functions with closed domains ». Topology and its Applications 110, no 3 (mars 2001) : 303–21. http://dx.doi.org/10.1016/s0166-8641(99)00204-7.
Texte intégralKele, P. G., M. de Boer, E. J. van der Jagt, T. Lisman et R. J. Porte. « Early hepatic regeneration index and completeness of regeneration at 6 months after partial hepatectomy ». British Journal of Surgery 99, no 8 (14 juin 2012) : 1113–19. http://dx.doi.org/10.1002/bjs.8807.
Texte intégralBianconi, Ricardo. « Model Completeness for the Real Field with the Weierstrass ℘ Function ». Proceedings of the Edinburgh Mathematical Society 61, no 3 (21 mai 2018) : 811–23. http://dx.doi.org/10.1017/s001309151700044x.
Texte intégralde Boer, Frank S., et Hans-Dieter A. Hiep. « Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic ». ACM Transactions on Programming Languages and Systems 43, no 4 (31 décembre 2021) : 1–35. http://dx.doi.org/10.1145/3477143.
Texte intégralGoswami, Nilakshi, Raju Roy, Vishnu Narayan Mishra et Luis Manuel Sánchez Ruiz. « Common Best Proximity Point Results for T-GKT Cyclic ϕ-Contraction Mappings in Partial Metric Spaces with Some Applications ». Symmetry 13, no 6 (21 juin 2021) : 1098. http://dx.doi.org/10.3390/sym13061098.
Texte intégralShahzad, N., et O. Valero. « On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics ». Abstract and Applied Analysis 2013 (2013) : 1–11. http://dx.doi.org/10.1155/2013/985095.
Texte intégralKadak, Uğur, et Muharrem Ozluk. « Some New Sets of Sequences of Fuzzy Numbers with Respect to the Partial Metric ». Scientific World Journal 2015 (2015) : 1–10. http://dx.doi.org/10.1155/2015/735703.
Texte intégral