Littérature scientifique sur le sujet « Order-sorted theories »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Order-sorted theories ».
À 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.
Articles de revues sur le sujet "Order-sorted theories"
Lucas, Salvador, et Raúl Gutiérrez. « Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories ». Journal of Automated Reasoning 60, no 4 (12 juillet 2017) : 465–501. http://dx.doi.org/10.1007/s10817-017-9419-3.
Texte intégralAlpuente, María, Angel Cuenca-Ortega, Santiago Escobar et José Meseguer. « Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* ». Fundamenta Informaticae 177, no 3-4 (10 décembre 2020) : 297–329. http://dx.doi.org/10.3233/fi-2020-1991.
Texte intégralLucas, Salvador. « Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving ». Electronic Proceedings in Theoretical Computer Science 200 (19 décembre 2015) : 32–47. http://dx.doi.org/10.4204/eptcs.200.3.
Texte intégralDurán, Francisco, et José Meseguer. « On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories ». Journal of Logic and Algebraic Programming 81, no 7-8 (octobre 2012) : 816–50. http://dx.doi.org/10.1016/j.jlap.2011.12.004.
Texte intégralLIU, Fu-Chun. « Lawvere Theorem in Institution of Regular Order-Sorted Equational Logic and Initial (Terminal) Semantics for Its Glued Theories ». Journal of Software 16, no 7 (2005) : 1205. http://dx.doi.org/10.1360/jos161205.
Texte intégralDecker, Valerie D., Philip D. Suman, Barb J. Burge, Ankita Deka, Melanie Harris, Dwight J. Hymans, Michael Marcussen, Donna Pittman, David Wilkerson et James G. Daley. « Analysis of Social Work Theory Progression Published in 2004 ». Advances in Social Work 8, no 1 (30 avril 2007) : 81–103. http://dx.doi.org/10.18060/133.
Texte intégralKrajíček, Jan. « Discretely ordered modules as a first-order extension of the cutting planes proof system ». Journal of Symbolic Logic 63, no 4 (décembre 1998) : 1582–96. http://dx.doi.org/10.2307/2586668.
Texte intégralALPUENTE, M., S. ESCOBAR, J. SAPIÑA et A. CUENCA-ORTEGA. « Inspecting Maude variants withGLINTS ». Theory and Practice of Logic Programming 17, no 5-6 (24 août 2017) : 689–707. http://dx.doi.org/10.1017/s147106841700031x.
Texte intégralDIACONESCU, RĂZVAN, et ALEXANDRE MADEIRA. « Encoding hybridized institutions into first-order logic ». Mathematical Structures in Computer Science 26, no 5 (12 novembre 2014) : 745–88. http://dx.doi.org/10.1017/s0960129514000383.
Texte intégralWang, Qingsong, Hongkun Xiao, Qiao Ma, Xueliang Yuan, Jian Zuo, Jian Zhang, Shuguang Wang et Mansen Wang. « Review of Emergy Analysis and Life Cycle Assessment : Coupling Development Perspective ». Sustainability 12, no 1 (2 janvier 2020) : 367. http://dx.doi.org/10.3390/su12010367.
Texte intégralLivres sur le sujet "Order-sorted theories"
Bell, John L. Categorical Logic and Model Theory. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198748991.003.0007.
Texte intégralChapitres de livres sur le sujet "Order-sorted theories"
Stell, John G. « Unique-sort order-sorted theories : A description as monad morphisms ». Dans Conditional and Typed Rewriting Systems, 389–400. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54317-1_107.
Texte intégralLucas, Salvador, et José Meseguer. « Strong and Weak Operational Termination of Order-Sorted Rewrite Theories ». Dans Rewriting Logic and Its Applications, 178–94. Cham : Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-12904-4_10.
Texte intégralDurán, Francisco, et José Meseguer. « A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories ». Dans Rewriting Logic and Its Applications, 86–103. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-16310-4_7.
Texte intégral