Academic literature on the topic 'Order-sorted theories'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Contents
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Order-sorted theories.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Order-sorted theories"
Lucas, Salvador, and Raúl Gutiérrez. "Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories." Journal of Automated Reasoning 60, no. 4 (July 12, 2017): 465–501. http://dx.doi.org/10.1007/s10817-017-9419-3.
Full textAlpuente, María, Angel Cuenca-Ortega, Santiago Escobar, and José Meseguer. "Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms*." Fundamenta Informaticae 177, no. 3-4 (December 10, 2020): 297–329. http://dx.doi.org/10.3233/fi-2020-1991.
Full textLucas, Salvador. "Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving." Electronic Proceedings in Theoretical Computer Science 200 (December 19, 2015): 32–47. http://dx.doi.org/10.4204/eptcs.200.3.
Full textDurán, Francisco, and 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 (October 2012): 816–50. http://dx.doi.org/10.1016/j.jlap.2011.12.004.
Full textLIU, 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.
Full textDecker, Valerie D., Philip D. Suman, Barb J. Burge, Ankita Deka, Melanie Harris, Dwight J. Hymans, Michael Marcussen, Donna Pittman, David Wilkerson, and James G. Daley. "Analysis of Social Work Theory Progression Published in 2004." Advances in Social Work 8, no. 1 (April 30, 2007): 81–103. http://dx.doi.org/10.18060/133.
Full textKrajíček, Jan. "Discretely ordered modules as a first-order extension of the cutting planes proof system." Journal of Symbolic Logic 63, no. 4 (December 1998): 1582–96. http://dx.doi.org/10.2307/2586668.
Full textALPUENTE, M., S. ESCOBAR, J. SAPIÑA, and A. CUENCA-ORTEGA. "Inspecting Maude variants withGLINTS." Theory and Practice of Logic Programming 17, no. 5-6 (August 24, 2017): 689–707. http://dx.doi.org/10.1017/s147106841700031x.
Full textDIACONESCU, RĂZVAN, and ALEXANDRE MADEIRA. "Encoding hybridized institutions into first-order logic." Mathematical Structures in Computer Science 26, no. 5 (November 12, 2014): 745–88. http://dx.doi.org/10.1017/s0960129514000383.
Full textWang, Qingsong, Hongkun Xiao, Qiao Ma, Xueliang Yuan, Jian Zuo, Jian Zhang, Shuguang Wang, and Mansen Wang. "Review of Emergy Analysis and Life Cycle Assessment: Coupling Development Perspective." Sustainability 12, no. 1 (January 2, 2020): 367. http://dx.doi.org/10.3390/su12010367.
Full textBooks on the topic "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.
Full textBook chapters on the topic "Order-sorted theories"
Stell, John G. "Unique-sort order-sorted theories : A description as monad morphisms." In Conditional and Typed Rewriting Systems, 389–400. Berlin, Heidelberg: Springer Berlin Heidelberg, 1991. http://dx.doi.org/10.1007/3-540-54317-1_107.
Full textLucas, Salvador, and José Meseguer. "Strong and Weak Operational Termination of Order-Sorted Rewrite Theories." In Rewriting Logic and Its Applications, 178–94. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-12904-4_10.
Full textDurán, Francisco, and José Meseguer. "A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories." In 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.
Full text