Artículos de revistas sobre el tema "Complete equational theories"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 19 mejores artículos de revistas para su investigación sobre el tema "Complete equational theories".
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.
Hölldobler, Steffen. "Conditional equational theories and complete sets of transformations". Theoretical Computer Science 75, n.º 1-2 (1990): 85–110. http://dx.doi.org/10.1016/0304-3975(90)90063-n.
Texto completoCerna, David M. y Temur Kutsia. "Higher-order pattern generalization modulo equational theories". Mathematical Structures in Computer Science 30, n.º 6 (20 de mayo de 2020): 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Texto completoFages, François y Gérard Huet. "Complete sets of unifiers and matchers in equational theories". Theoretical Computer Science 43 (1986): 189–200. http://dx.doi.org/10.1016/0304-3975(86)90175-1.
Texto completoÉSIK, Z. "THE POWER OF THE GROUP-IDENTITIES FOR ITERATION". International Journal of Algebra and Computation 10, n.º 03 (junio de 2000): 349–73. http://dx.doi.org/10.1142/s0218196700000145.
Texto completoÉsik, Z. "Equational properties of fixed-point operations in cartesian categories: An overview". Mathematical Structures in Computer Science 29, n.º 06 (24 de mayo de 2019): 909–25. http://dx.doi.org/10.1017/s0960129518000361.
Texto completoAmy, Matthew. "Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes". Electronic Proceedings in Theoretical Computer Science 384 (23 de agosto de 2023): 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Texto completoMordido, Andreia y Carlos Caleiro. "Probabilistic logic over equations and domain restrictions". Mathematical Structures in Computer Science 29, n.º 06 (8 de marzo de 2019): 872–95. http://dx.doi.org/10.1017/s096012951800035x.
Texto completoÉSIK, ZOLTÁN. "Equational axioms associated with finite automata for fixed point operations in cartesian categories". Mathematical Structures in Computer Science 27, n.º 1 (8 de abril de 2015): 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Texto completoAguirre, Alejandro y Lars Birkedal. "Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice". Proceedings of the ACM on Programming Languages 7, POPL (9 de enero de 2023): 33–60. http://dx.doi.org/10.1145/3571195.
Texto completoCarette, Titouan, Emmanuel Jeandel, Simon Perdrix y Renaud Vilmart. "Completeness of Graphical Languages for Mixed State Quantum Mechanics". ACM Transactions on Quantum Computing 2, n.º 4 (31 de diciembre de 2021): 1–28. http://dx.doi.org/10.1145/3464693.
Texto completoChoudhury, Vikraman, Jacek Karwowski y Amr Sabry. "Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages". Proceedings of the ACM on Programming Languages 6, POPL (16 de enero de 2022): 1–32. http://dx.doi.org/10.1145/3498667.
Texto completoAlfanur, Farah y Yasuo Kadono. "EMPIRICAL STUDY OF PURCHASE INTENTION AND BEHAVIOR OF E-COMMERCE CONSUMERS IN INDONESIA". MALAYSIAN E COMMERCE JOURNAL 5, n.º 1 (16 de noviembre de 2021): 20–28. http://dx.doi.org/10.26480/mecj.01.2021.20.28.
Texto completoIkebuchi, Mirai. "A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods". Logical Methods in Computer Science Volume 18, Issue 3 (21 de septiembre de 2022). http://dx.doi.org/10.46298/lmcs-18(3:36)2022.
Texto completoSzabo, Peter y Jörg Siekmann. "E-Unification based on Generalized Embedding". Mathematical Structures in Computer Science, 24 de marzo de 2022, 1–20. http://dx.doi.org/10.1017/s0960129522000019.
Texto completoAFFELDT, REYNALD, JACQUES GARRIGUE, DAVID NOWAK y TAKAFUMI SAIKAWA. "A trustful monad for axiomatic reasoning with probability and nondeterminism". Journal of Functional Programming 31 (2021). http://dx.doi.org/10.1017/s0956796821000137.
Texto completoÉsik, Zoltán. "Continuous Additive Algebras and Injective Simulations of Synchronization Trees". BRICS Report Series 7, n.º 25 (25 de enero de 2000). http://dx.doi.org/10.7146/brics.v7i25.20153.
Texto completoDahlqvist, Fredrik y Renato Neves. "The syntactic side of autonomous categories enriched over generalised metric spaces". Logical Methods in Computer Science Volume 19, Issue 4 (18 de diciembre de 2023). http://dx.doi.org/10.46298/lmcs-19(4:31)2023.
Texto completoBacci, Giorgio, Radu Mardare, Prakash Panangaden y Gordon Plotkin. "Propositional Logics for the Lawvere Quantale". Electronic Notes in Theoretical Informatics and Computer Science Volume 3 - Proceedings of... (23 de noviembre de 2023). http://dx.doi.org/10.46298/entics.12292.
Texto completoÉsik, Zoltán y Hans Leiß. "Greibach Normal Form in Algebraically Complete Semirings". BRICS Report Series 9, n.º 46 (5 de diciembre de 2002). http://dx.doi.org/10.7146/brics.v9i46.21761.
Texto completo