Zeitschriftenartikel zum Thema „Complete equational theories“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-19 Zeitschriftenartikel für die Forschung zum Thema "Complete equational theories" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Zeitschriftenartikel für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Hölldobler, Steffen. „Conditional equational theories and complete sets of transformations“. Theoretical Computer Science 75, Nr. 1-2 (1990): 85–110. http://dx.doi.org/10.1016/0304-3975(90)90063-n.
Der volle Inhalt der QuelleCerna, David M., und Temur Kutsia. „Higher-order pattern generalization modulo equational theories“. Mathematical Structures in Computer Science 30, Nr. 6 (20.05.2020): 627–63. http://dx.doi.org/10.1017/s0960129520000110.
Der volle Inhalt der QuelleFages, François, und 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.
Der volle Inhalt der QuelleÉSIK, Z. „THE POWER OF THE GROUP-IDENTITIES FOR ITERATION“. International Journal of Algebra and Computation 10, Nr. 03 (Juni 2000): 349–73. http://dx.doi.org/10.1142/s0218196700000145.
Der volle Inhalt der QuelleÉsik, Z. „Equational properties of fixed-point operations in cartesian categories: An overview“. Mathematical Structures in Computer Science 29, Nr. 06 (24.05.2019): 909–25. http://dx.doi.org/10.1017/s0960129518000361.
Der volle Inhalt der QuelleAmy, Matthew. „Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes“. Electronic Proceedings in Theoretical Computer Science 384 (23.08.2023): 127–41. http://dx.doi.org/10.4204/eptcs.384.8.
Der volle Inhalt der QuelleMordido, Andreia, und Carlos Caleiro. „Probabilistic logic over equations and domain restrictions“. Mathematical Structures in Computer Science 29, Nr. 06 (08.03.2019): 872–95. http://dx.doi.org/10.1017/s096012951800035x.
Der volle Inhalt der QuelleÉSIK, ZOLTÁN. „Equational axioms associated with finite automata for fixed point operations in cartesian categories“. Mathematical Structures in Computer Science 27, Nr. 1 (08.04.2015): 54–69. http://dx.doi.org/10.1017/s0960129515000031.
Der volle Inhalt der QuelleAguirre, Alejandro, und Lars Birkedal. „Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice“. Proceedings of the ACM on Programming Languages 7, POPL (09.01.2023): 33–60. http://dx.doi.org/10.1145/3571195.
Der volle Inhalt der QuelleCarette, Titouan, Emmanuel Jeandel, Simon Perdrix und Renaud Vilmart. „Completeness of Graphical Languages for Mixed State Quantum Mechanics“. ACM Transactions on Quantum Computing 2, Nr. 4 (31.12.2021): 1–28. http://dx.doi.org/10.1145/3464693.
Der volle Inhalt der QuelleChoudhury, Vikraman, Jacek Karwowski und Amr Sabry. „Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages“. Proceedings of the ACM on Programming Languages 6, POPL (16.01.2022): 1–32. http://dx.doi.org/10.1145/3498667.
Der volle Inhalt der QuelleAlfanur, Farah, und Yasuo Kadono. „EMPIRICAL STUDY OF PURCHASE INTENTION AND BEHAVIOR OF E-COMMERCE CONSUMERS IN INDONESIA“. MALAYSIAN E COMMERCE JOURNAL 5, Nr. 1 (16.11.2021): 20–28. http://dx.doi.org/10.26480/mecj.01.2021.20.28.
Der volle Inhalt der QuelleIkebuchi, Mirai. „A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods“. Logical Methods in Computer Science Volume 18, Issue 3 (21.09.2022). http://dx.doi.org/10.46298/lmcs-18(3:36)2022.
Der volle Inhalt der QuelleSzabo, Peter, und Jörg Siekmann. „E-Unification based on Generalized Embedding“. Mathematical Structures in Computer Science, 24.03.2022, 1–20. http://dx.doi.org/10.1017/s0960129522000019.
Der volle Inhalt der QuelleAFFELDT, REYNALD, JACQUES GARRIGUE, DAVID NOWAK und 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.
Der volle Inhalt der QuelleÉsik, Zoltán. „Continuous Additive Algebras and Injective Simulations of Synchronization Trees“. BRICS Report Series 7, Nr. 25 (25.01.2000). http://dx.doi.org/10.7146/brics.v7i25.20153.
Der volle Inhalt der QuelleDahlqvist, Fredrik, und Renato Neves. „The syntactic side of autonomous categories enriched over generalised metric spaces“. Logical Methods in Computer Science Volume 19, Issue 4 (18.12.2023). http://dx.doi.org/10.46298/lmcs-19(4:31)2023.
Der volle Inhalt der QuelleBacci, Giorgio, Radu Mardare, Prakash Panangaden und Gordon Plotkin. „Propositional Logics for the Lawvere Quantale“. Electronic Notes in Theoretical Informatics and Computer Science Volume 3 - Proceedings of... (23.11.2023). http://dx.doi.org/10.46298/entics.12292.
Der volle Inhalt der QuelleÉsik, Zoltán, und Hans Leiß. „Greibach Normal Form in Algebraically Complete Semirings“. BRICS Report Series 9, Nr. 46 (05.12.2002). http://dx.doi.org/10.7146/brics.v9i46.21761.
Der volle Inhalt der Quelle