Articles de revues sur le sujet « Complete equational theories »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 19 meilleurs articles de revues pour votre recherche sur le sujet « Complete equational 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.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Hölldobler, Steffen. « Conditional equational theories and complete sets of transformations ». Theoretical Computer Science 75, no 1-2 (1990) : 85–110. http://dx.doi.org/10.1016/0304-3975(90)90063-n.
Texte intégralCerna, David M., et Temur Kutsia. « Higher-order pattern generalization modulo equational theories ». Mathematical Structures in Computer Science 30, no 6 (20 mai 2020) : 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Texte intégralFages, François, et 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.
Texte intégralÉSIK, Z. « THE POWER OF THE GROUP-IDENTITIES FOR ITERATION ». International Journal of Algebra and Computation 10, no 03 (juin 2000) : 349–73. http://dx.doi.org/10.1142/s0218196700000145.
Texte intégralÉsik, Z. « Equational properties of fixed-point operations in cartesian categories : An overview ». Mathematical Structures in Computer Science 29, no 06 (24 mai 2019) : 909–25. http://dx.doi.org/10.1017/s0960129518000361.
Texte intégralAmy, Matthew. « Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes ». Electronic Proceedings in Theoretical Computer Science 384 (23 août 2023) : 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Texte intégralMordido, Andreia, et Carlos Caleiro. « Probabilistic logic over equations and domain restrictions ». Mathematical Structures in Computer Science 29, no 06 (8 mars 2019) : 872–95. http://dx.doi.org/10.1017/s096012951800035x.
Texte intégralÉSIK, ZOLTÁN. « Equational axioms associated with finite automata for fixed point operations in cartesian categories ». Mathematical Structures in Computer Science 27, no 1 (8 avril 2015) : 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Texte intégralAguirre, Alejandro, et Lars Birkedal. « Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice ». Proceedings of the ACM on Programming Languages 7, POPL (9 janvier 2023) : 33–60. http://dx.doi.org/10.1145/3571195.
Texte intégralCarette, Titouan, Emmanuel Jeandel, Simon Perdrix et Renaud Vilmart. « Completeness of Graphical Languages for Mixed State Quantum Mechanics ». ACM Transactions on Quantum Computing 2, no 4 (31 décembre 2021) : 1–28. http://dx.doi.org/10.1145/3464693.
Texte intégralChoudhury, Vikraman, Jacek Karwowski et Amr Sabry. « Symmetries in reversible programming : from symmetric rig groupoids to reversible programming languages ». Proceedings of the ACM on Programming Languages 6, POPL (16 janvier 2022) : 1–32. http://dx.doi.org/10.1145/3498667.
Texte intégralAlfanur, Farah, et Yasuo Kadono. « EMPIRICAL STUDY OF PURCHASE INTENTION AND BEHAVIOR OF E-COMMERCE CONSUMERS IN INDONESIA ». MALAYSIAN E COMMERCE JOURNAL 5, no 1 (16 novembre 2021) : 20–28. http://dx.doi.org/10.26480/mecj.01.2021.20.28.
Texte intégralIkebuchi, Mirai. « A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods ». Logical Methods in Computer Science Volume 18, Issue 3 (21 septembre 2022). http://dx.doi.org/10.46298/lmcs-18(3:36)2022.
Texte intégralSzabo, Peter, et Jörg Siekmann. « E-Unification based on Generalized Embedding ». Mathematical Structures in Computer Science, 24 mars 2022, 1–20. http://dx.doi.org/10.1017/s0960129522000019.
Texte intégralAFFELDT, REYNALD, JACQUES GARRIGUE, DAVID NOWAK et 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.
Texte intégralÉsik, Zoltán. « Continuous Additive Algebras and Injective Simulations of Synchronization Trees ». BRICS Report Series 7, no 25 (25 janvier 2000). http://dx.doi.org/10.7146/brics.v7i25.20153.
Texte intégralDahlqvist, Fredrik, et Renato Neves. « The syntactic side of autonomous categories enriched over generalised metric spaces ». Logical Methods in Computer Science Volume 19, Issue 4 (18 décembre 2023). http://dx.doi.org/10.46298/lmcs-19(4:31)2023.
Texte intégralBacci, Giorgio, Radu Mardare, Prakash Panangaden et Gordon Plotkin. « Propositional Logics for the Lawvere Quantale ». Electronic Notes in Theoretical Informatics and Computer Science Volume 3 - Proceedings of... (23 novembre 2023). http://dx.doi.org/10.46298/entics.12292.
Texte intégralÉsik, Zoltán, et Hans Leiß. « Greibach Normal Form in Algebraically Complete Semirings ». BRICS Report Series 9, no 46 (5 décembre 2002). http://dx.doi.org/10.7146/brics.v9i46.21761.
Texte intégral